Christian Sattler
Visar 19 publikationer
The equivariant model structure on cartesian cubical sets
Eliminating reversals from cubical type theories
Constructive Higher Sheaf Models with Applications to Synthetic Mathematics
Relative elegance and Cartesian cubes with one connection
Cubical models of (∞,1)-categories
Two-level type theory and applications
For the Metatheory of Type Theory, Internal Sconing Is Enough
Canonicity and homotopy canonicity for cubical type theory
The effective model structure and infinity-groupoid objects
The Constructive Kan-Quillen Model Structure: Two New Proofs
Constructing a universe for the setoid model
Constructive sheaf models of type theory
Partial Univalence in n-truncated Type Theory
Homotopy canonicity for cubical type theory
The Frobenius condition, right properness, and uniform fibrations
Higher homotopies in a hierarchy of univalent universes
Turing-completeness of polymorphic stream equation systems
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.
Visar 2 forskningsprojekt
"Constructive model of homotopy type theory in higher groupoids"
Bevisteori och semantik för homotopitypteori i högre ordningens kategorier