FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

A
Altenkirch, Thorsten	Towards the syntax and semantics of higher dimensional type theory
Angiuli, Carlo	Cubical Computational Type Theory
B
Birkedal, Lars	Dependent Right Adjoint Types
Buchholtz, Ulrik	(Truncated) Simplicial Models of Type Theory
C
Cavallo, Evan	Cubical Computational Type Theory
Clouston, Ranald	Dependent Right Adjoint Types
D
Devriese, Dominique	Internalizing Presheaf Semantics: Charting the Design Space
E
Escardó, Martín	Injective types and searchable types in univalent mathematics
H
Harper, Robert	Cubical Computational Type Theory
Helfer, Joseph	First-order homotopical logic and Grothendieck fibrations
Herbelin, Hugo	The definitional symmetric cubical structure of types in type theory with equality defined by abstraction over an interval
Hou Favonia, Kuen-Bang	Cubical Computational Type Theory
M
Mannaa, Bassel	Dependent Right Adjoint Types
Morehouse, Edward	Ordered Cubes
Møgelberg, Rasmus	Dependent Right Adjoint Types
N
Newstead, Clive	Algebraic models of dependent type theory
Nuyts, Andreas	Internalizing Presheaf Semantics: Charting the Design Space Robust Notions of Contextual Fibrancy
P
Petrakis, Iosif	A Yoneda lemma-formulation of the univalence axiom
Pitts, Andrew	Axiomatizing Cubical Sets Models of Univalent Foundations Dependent Right Adjoint Types
R
Rodin, Andrei	Univalent Foundations and the Constructive View of Theories
S
Sato, Genki	Geometric realization of truncated semi-simplicial sets meta-constructed within HoTT
Spitters, Bas	Dependent Right Adjoint Types
Sterling, Jonathan	Cubical Computational Type Theory
U
Uemura, Taichi	Cubical Assemblies and the Independence of the Propositional Resizing Axiom
W
Weinberger, Jonathan	(Truncated) Simplicial Models of Type Theory
Wellen, Felix	Cohesive Covering Theory

Disclaimer | Powered by EasyChair Smart Program