HoTT/UF Abstracts: Papers with Abstracts

HOTT/UF ABSTRACTS: PAPERS WITH ABSTRACTS

Papers Papers with Abstracts Author Index Keyword Index

Editors: Benedikt Ahrens, Simon Huber and Anders Mörtberg

Authors, Title and Abstract	Paper	Talk
Andreas Nuyts and Dominique Devriese Internalizing Presheaf Semantics: Charting the Design Space ABSTRACT.		Jul 07 11:00
Andreas Nuyts Robust Notions of Contextual Fibrancy ABSTRACT.		Jul 08 11:30
Lars Birkedal, Ranald Clouston, Bassel Mannaa, Rasmus Møgelberg, Andrew Pitts and Bas Spitters Dependent Right Adjoint Types ABSTRACT.		Jul 07 12:00
Clive Newstead Algebraic models of dependent type theory ABSTRACT.		Jul 07 16:30
Taichi Uemura Cubical Assemblies and the Independence of the Propositional Resizing Axiom ABSTRACT.		Jul 07 11:30
Iosif Petrakis A Yoneda lemma-formulation of the univalence axiom ABSTRACT.		Jul 08 11:00
Edward Morehouse Ordered Cubes ABSTRACT.		Jul 08 15:00
Eric Faber Towards a geometric model theory of type theory ABSTRACT.
Jonathan Weinberger and Ulrik Buchholtz (Truncated) Simplicial Models of Type Theory ABSTRACT.		Jul 08 16:00
Thorsten Altenkirch Towards the syntax and semantics of higher dimensional type theory ABSTRACT.		Jul 08 16:30
Genki Sato Geometric realization of truncated semi-simplicial sets meta-constructed within HoTT ABSTRACT.		Jul 07 15:00
Joseph Helfer First-order homotopical logic and Grothendieck fibrations ABSTRACT.		Jul 07 17:00
Felix Wellen Cohesive Covering Theory ABSTRACT.		Jul 08 12:00
Kuen-Bang Hou Favonia, Carlo Angiuli, Evan Cavallo, Robert Harper and Jonathan Sterling Cubical Computational Type Theory ABSTRACT.		Jul 08 14:00
Hugo Herbelin The definitional symmetric cubical structure of types in type theory with equality defined by abstraction over an interval ABSTRACT.		Jul 08 14:30