Christian Sattler

Senior Researcher at Computing Science

Source: chalmers.se

Contact Details ORCID

Publications (14)
Projects (0)

Showing 14 publications

2023

Two-level type theory and applications

Danil Annenkov, Paolo Capriotti, Nicolai Kraus et al

Mathematical Structures in Computer Science. Vol. 33 (8), p. 688-743

Journal article

Show project

2023

For the Metatheory of Type Theory, Internal Sconing Is Enough

Rafaël Bocquet, Ambrus Kaposi, Christian Sattler

Leibniz International Proceedings in Informatics, LIPIcs. Vol. 260

Paper in proceeding

Show project

2022

Canonicity and homotopy canonicity for cubical type theory

Thierry Coquand, Simon Huber, Christian Sattler

Logical Methods in Computer Science. Vol. 18 (1)

Journal article

Show project

2022

The effective model structure and infinity-groupoid objects

Nicola Gambino, Simon Henry, Christian Sattler et al

Forum of Mathematics, Sigma. Vol. 10

Journal article

Show project

2022

The Constructive Kan-Quillen Model Structure: Two New Proofs

Nicola Gambino, Christian Sattler, Karol Szumilo

Quarterly Journal of Mathematics. Vol. 73 (4), p. 1307-1373

Journal article

Show project

2021

Constructive sheaf models of type theory

Thierry Coquand, Fabian Ruch, Christian Sattler

Mathematical Structures in Computer Science. Vol. 31 (9), p. 979-1002

Journal article

Show project

2021

Constructing a universe for the setoid model

Thorsten Altenkirch, Simon Boulier, Ambrus Kaposi et al

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 12650, p. 1-21

Paper in proceeding

2020

Partial Univalence in n-truncated Type Theory

Christian Sattler, Andrea Vezzosi

ACM International Conference Proceeding Series, p. 807-819

Paper in proceeding

2019

Normalization by evaluation for call-by-push-value and polarized lambda-calculus

Andreas Abel, Christian Sattler

ACM International Conference Proceeding Series, p. 1-12

Paper in proceeding

2019

Homotopy canonicity for cubical type theory

Thierry Coquand, Simon Huber, Christian Sattler

Leibniz International Proceedings in Informatics, LIPIcs. Vol. 131, p. 11:1-11:23

Paper in proceeding

2019

Gluing for type theory

Ambrus Kaposi, Simon Huber, Christian Sattler

Leibniz International Proceedings in Informatics, LIPIcs. Vol. 131, p. 25:1-25:19

Paper in proceeding

2017

The Frobenius condition, right properness, and uniform fibrations

Nicola Gambino, Christian Sattler

Journal of Pure and Applied Algebra. Vol. 221 (12), p. 3027-3068

Journal article

2015

Higher homotopies in a hierarchy of univalent universes

H. Kraus, Christian Sattler

ACM Transactions on Computational Logic. Vol. 16 (2), p. 18:1-18:12

Journal article

2012

Turing-completeness of polymorphic stream equation systems

Christian Sattler, Florent Balestrieri

Leibniz International Proceedings in Informatics, LIPIcs. Vol. 15, p. 256-271

Paper in proceeding

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

There are no projects.

There might be more projects where Christian Sattler participates, but you have to be logged in as a Chalmers employee to see them.