FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK KEYWORD INDEX

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

Shortcuts: ACDEFGHIMOPRSTU
A
Axiomatic Method
C
Cartesian cubes
Categorical models
Categorical semantics
categories with families
coherence
Complete Segal Spaces
computational type theory
Constructive View of Theories
contextual fibrancy
Covering Theory
cubical sets
cubical type theory
D
dependent type theory
E
equality by abstraction over an interval
F
fibrancy of the function type
fibrant replacement
first-order logic
G
geometric realization
Grothendieck fibrations
H
higher categories
higher inductive type
homotopy type theory
I
Infinity-Categories
Infinity-Presheaves
internal parametricity
M
metatheory
Modal type theory
O
ordered structures
P
Polynomial functors
presheaf models
proof of univalence
Propositional Resizing
R
Real Cohesive Homotopy Type Theory
Realizability
right lifting property
S
Semantic View of Theories
semisimplicial type
shapes for higher-dimensional structure
Simplicial sets
Simplicial Type Theory
syntax of type theory
Synthetic Topology
T
Type theory
U
univalence axiom
univalent foundations