Kan Simplicial Set Model of Type Theory - Peter LeFanu Lumsdaine
Peter Lumsdaine, Inverse diagram models of type theorySee more
Higher Inductive Types - Peter LumsdaineSee more
A Quillen Model Structure in Type Theory - Peter LeFanu LumsdaineSee more
Simplicial Types - Peter LumsdaineSee more
Peter Lumsdaine and Guillaume Brunerie, Initiality for Martin-Löf type theorySee more
The Simplicial Model of Univalence - Peter LumsdaineSee more
Karol Szumiło, The constructive Kan-Quillen model structureSee more
Lumsdaine : Simplicial model of UASee more
Peter LeFanu Lumsdaine, What are we thinking when we present a type theory?See more
Effective Kan fibrations in Simplicial Sets - Eric FaberSee more
Distraction #3 , Simplicial SetsSee more
10. Computable Simplicial Set & Kan ConditionsSee more
Benno van den Berg, Effective Kan fibrations in simplicial setsSee more
Hoang Kim Nguyen, Directed univalence in simplicial setsSee more
Andrej Bauer and Peter LeFanu Lumsdaine: Toward an initiality theorem for general type theoriesSee more
Kan complexSee more
The Geometry Of Simplicial Sets - Whence degeneracies?See more
Kuen-Bang Hou (Favonia), Towards efficient cubical type theorySee more
Benno van den Berg, Uniform Kan fibrations in simplicial setsSee more
