Christian Sattler
Visar 15 publikationer
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
Constructive sheaf models of type theory
Constructing a universe for the setoid model
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 1 forskningsprojekt
Bevisteori och semantik för homotopitypteori i högre ordningens kategorier