FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

C
Cartesian cubes	Cubical Computational Type Theory (PDF, talk)
Categorical models	Dependent Right Adjoint Types (PDF, talk)
Categorical semantics	Algebraic models of dependent type theory (PDF, talk)
categories with families	Towards the syntax and semantics of higher dimensional type theory (PDF, talk)
coherence	Towards the syntax and semantics of higher dimensional type theory (PDF, talk)
Complete Segal Spaces	(Truncated) Simplicial Models of Type Theory (PDF, talk)
computational type theory	Cubical Computational Type Theory (PDF, talk)
contextual fibrancy	Robust Notions of Contextual Fibrancy (PDF, talk)
Covering Theory	Cohesive Covering Theory (PDF, talk)
cubical sets	Ordered Cubes (PDF, talk) Towards a geometric model theory of type theory (PDF) The definitional symmetric cubical structure of types in type theory with equality defined by abstraction over an interval (PDF, talk)
cubical type theory	Dependent Right Adjoint Types (PDF, talk) Cubical Assemblies and the Independence of the Propositional Resizing Axiom (PDF, talk) Cubical Computational Type Theory (PDF, talk) The definitional symmetric cubical structure of types in type theory with equality defined by abstraction over an interval (PDF, talk)
D
dependent type theory	Algebraic models of dependent type theory (PDF, talk)
E
equality by abstraction over an interval	The definitional symmetric cubical structure of types in type theory with equality defined by abstraction over an interval (PDF, talk)
F
fibrancy of the function type	Robust Notions of Contextual Fibrancy (PDF, talk)
fibrant replacement	Robust Notions of Contextual Fibrancy (PDF, talk)
first-order logic	First-order homotopical logic and Grothendieck fibrations (PDF, talk)
G
geometric logic	Towards a geometric model theory of type theory (PDF)
geometric realization	Geometric realization of truncated semi-simplicial sets meta-constructed within HoTT (PDF, talk)
Grothendieck fibrations	First-order homotopical logic and Grothendieck fibrations (PDF, talk)
H
higher categories	Towards the syntax and semantics of higher dimensional type theory (PDF, talk)
higher inductive type	Geometric realization of truncated semi-simplicial sets meta-constructed within HoTT (PDF, talk)
homotopy type theory	Dependent Right Adjoint Types (PDF, talk) Cubical Computational Type Theory (PDF, talk)
I
Infinity-Categories	(Truncated) Simplicial Models of Type Theory (PDF, talk)
Infinity-Presheaves	(Truncated) Simplicial Models of Type Theory (PDF, talk)
internal parametricity	Internalizing Presheaf Semantics: Charting the Design Space (PDF, talk)
M
metatheory	Geometric realization of truncated semi-simplicial sets meta-constructed within HoTT (PDF, talk)
Modal Type Theory	Dependent Right Adjoint Types (PDF, talk)
O
ordered structures	Ordered Cubes (PDF, talk)
P
Polynomial functors	Algebraic models of dependent type theory (PDF, talk)
presheaf models	Internalizing Presheaf Semantics: Charting the Design Space (PDF, talk)
proof of univalence	Internalizing Presheaf Semantics: Charting the Design Space (PDF, talk)
Propositional Resizing	Cubical Assemblies and the Independence of the Propositional Resizing Axiom (PDF, talk)
R
Real Cohesive Homotopy Type Theory	Cohesive Covering Theory (PDF, talk)
Realizability	Cubical Assemblies and the Independence of the Propositional Resizing Axiom (PDF, talk)
right lifting property	Robust Notions of Contextual Fibrancy (PDF, talk)
S
semisimplicial type	Geometric realization of truncated semi-simplicial sets meta-constructed within HoTT (PDF, talk)
shapes for higher-dimensional structure	Ordered Cubes (PDF, talk)
Simplicial sets	Towards a geometric model theory of type theory (PDF) First-order homotopical logic and Grothendieck fibrations (PDF, talk)
Simplicial Type Theory	(Truncated) Simplicial Models of Type Theory (PDF, talk)
syntax of type theory	Towards the syntax and semantics of higher dimensional type theory (PDF, talk)
Synthetic Topology	Cohesive Covering Theory (PDF, talk)
T
topos theory	Towards a geometric model theory of type theory (PDF)
type theory	A Yoneda lemma-formulation of the univalence axiom (PDF, talk) Towards a geometric model theory of type theory (PDF)
U
univalence axiom	A Yoneda lemma-formulation of the univalence axiom (PDF, talk)
univalent foundations	A Yoneda lemma-formulation of the univalence axiom (PDF, talk)

Disclaimer | Powered by EasyChair Smart Program