Type-theoretic approaches to ordinals von Kraus, Nicolai, Nordvall Forsberg, Fredrik, Xu, Chuangjie

Volltext

Univalent higher categories via complete Semi-Segal types von Capriotti, Paolo, Kraus, Nicolai

Volltext

Two-level type theory and applications von Annenkov, Danil, Capriotti, Paolo, Kraus, Nicolai, Sattler, Christian

Volltext

TIBA: A web application for the visual analysis of temporal occurrences, interactions, and transitions of animal behavior von Kraus, Nicolai, Aichem, Michael, Klein, Karsten, Lein, Etienne, Jordan, Alex, Schreiber, Falk

Volltext

A Lambda Term Representation Inspired by Linear Ordered Logic von Abel, Andreas, Kraus, Nicolai

Volltext

Partiality, Revisited: The Partiality Monad as a Quotient Inductive-Inductive Type von Altenkirch, Thorsten, Danielsson, Nils Anders, Kraus, Nicolai

Volltext

Two-level type theory and applications - ERRATUM von Annenkov, Danil, Capriotti, Paolo, Kraus, Nicolai, Sattler, Christian

Volltext

A rewriting coherence theorem with applications in homotopy type theory von Kraus, Nicolai, von Raumer, Jakob

Volltext

Higher Homotopies in a Hierarchy of Univalent Universes von Kraus, Nicolai, Sattler, Christian

Volltext

Internal $\infty$-Categorical Models of Dependent Type Theory: Towards 2LTT Eating HoTT von Kraus, Nicolai

Volltext bestellen

Notions of Anonymous Existence in Martin-L\"of Type Theory von Nicolai Kraus, Martín Escardó, Thierry Coquand, Thorsten Altenkirch

Volltext

Shallow Embedding of Type Theory is Morally Correct von Kaposi, Ambrus, Kovács, András, Kraus, Nicolai

Volltext

Generalizations of Hedberg’s Theorem von Kraus, Nicolai, Escardó, Martín, Coquand, Thierry, Altenkirch, Thorsten

Volltext

From Cubes to Twisted Cubes via Graph Morphisms in Type Theory von Pinyo, Gun, Kraus, Nicolai

Volltext

Free Higher Groups in Homotopy Type Theory von Kraus, Nicolai, Altenkirch, Thorsten

Volltext

Internal \(\infty\)-Categorical Models of Dependent Type Theory: Towards 2LTT Eating HoTT von Kraus, Nicolai

Volltext

On symmetries of spheres in univalent foundations von Cagne, Pierre, Buchholtz, Ulrik, Kraus, Nicolai, Bezem, Marc

Volltext bestellen

The General Universal Property of the Propositional Truncation von Kraus, Nicolai

Volltext

Type-Theoretic Approaches to Ordinals von Kraus, Nicolai, sberg, Fredrik Nordvall, Xu, Chuangjie

Volltext

Two-Level Type Theory and Applications von Annenkov, Danil, Capriotti, Paolo, Kraus, Nicolai, Sattler, Christian

Volltext