Christian Sattler

Forskare vid Computing Science
Image of Christian Sattler

Visar 6 publikationer

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 Constructive Kan-Quillen Model Structure: Two New Proofs

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

Constructive sheaf models of type theory

Thierry Coquand, Fabian Ruch, Christian Sattler
Mathematical Structures in Computer Science. Vol. In Press
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

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.