FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

A
Ahrens, Benedikt	Towards Normalization of Simplicial Type Theory via Synthetic Tait Computability A Library of Monoidal Categories for Display and Univalence Semantics for two-dimensional type theory
B
Buchholtz, Ulrik	Towards Normalization of Simplicial Type Theory via Synthetic Tait Computability
C
Cavallo, Evan	A type-theoretic model structure over cubes with one connection presenting spaces
Cherradi, El Mehdi	Models of homotopy type theory from the Yoneda embedding
Cherubini, Felix	Towards computing cohomology of dependent abelian groups
Contente, Michele	The Compatibility of MF with HoTT
D
Doré, Maximilian	Elementary Simplicial Collapses in Cubical Agda
F
Finster, Eric	TBA
Flaten, Jarl G. Taxerås	The internal AB axioms
M
Maietti, Maria Emilia	The Compatibility of MF with HoTT
Matthes, Ralph	A Library of Monoidal Categories for Display and Univalence
N
Neumann, Jacob	Towards Directed Higher Observational Type Theory
North, Paige	Towards Normalization of Simplicial Type Theory via Synthetic Tait Computability Semantics for two-dimensional type theory
S
Sattler, Christian	A type-theoretic model structure over cubes with one connection presenting spaces
Sojakova, Kristina	TBA
Speight, Sam	Groupoidal Realizability: Formalizing the Topological BHK Interpretation
U
Uemura, Taichi	Internal languages of diagrams of ∞-toposes
Uskuplu, Elif	An Experiment with 2LTT Features in Agda
V
van der Weide, Niels	Semantics for two-dimensional type theory
W
Weinberger, Jonathan	Towards Normalization of Simplicial Type Theory via Synthetic Tait Computability
Wullaert, Kobe	A Library of Monoidal Categories for Display and Univalence

Disclaimer | Powered by EasyChair Smart Program