FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

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

Disclaimer | Powered by EasyChair Smart Program