Christian Sattler

Senior Researcher at Computing Science

Source: chalmers.se
gravatar.com image

Showing 15 publications

2024

Natural numbers from integers

Christian Sattler, David Wärn
Proceedings - Symposium on Logic in Computer Science
Paper in proceeding
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
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
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 effective model structure and infinity-groupoid objects

Nicola Gambino, Simon Henry, Christian Sattler et al
Forum of Mathematics, Sigma. Vol. 10
Journal article
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
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
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.