Christian Sattler

Senior forskare vid Computing Science

Källa: chalmers.se
gravatar.com image

Visar 15 publikationer

2024

Natural numbers from integers

Christian Sattler, David Wärn
Proceedings - Symposium on Logic in Computer Science
Paper i 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
Artikel i vetenskaplig tidskrift
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 i proceeding
2022

Canonicity and homotopy canonicity for cubical type theory

Thierry Coquand, Simon Huber, Christian Sattler
Logical Methods in Computer Science. Vol. 18 (1)
Artikel i vetenskaplig tidskrift
2022

The effective model structure and infinity-groupoid objects

Nicola Gambino, Simon Henry, Christian Sattler et al
Forum of Mathematics, Sigma. Vol. 10
Artikel i vetenskaplig tidskrift
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
Artikel i vetenskaplig tidskrift
2021

Constructive sheaf models of type theory

Thierry Coquand, Fabian Ruch, Christian Sattler
Mathematical Structures in Computer Science. Vol. 31 (9), p. 979-1002
Artikel i vetenskaplig tidskrift
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 i proceeding
2020

Partial Univalence in n-truncated Type Theory

Christian Sattler, Andrea Vezzosi
ACM International Conference Proceeding Series, p. 807-819
Paper i 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 i 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 i 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 i 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
Artikel i vetenskaplig tidskrift
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
Artikel i vetenskaplig tidskrift
2012

Turing-completeness of polymorphic stream equation systems

Christian Sattler, Florent Balestrieri
Leibniz International Proceedings in Informatics, LIPIcs. Vol. 15, p. 256-271
Paper i proceeding

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

Det finns inga projekt att visa.
Det kan finnas fler projekt där Christian Sattler medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.