FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

This page contains an index consisting of author-provided keywords.

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

Disclaimer | Powered by EasyChair Smart Program