Christian Sattler

Researcher at Computing Science
Image of Christian Sattler

Showing 6 publications

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
2022

The Constructive Kan-Quillen Model Structure: Two New Proofs

Nicola Gambino, Christian Sattler, Karol Szumilo
Quarterly Journal of Mathematics. Vol. In Press
Journal article
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
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
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

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.