Types are Internal ∞-groupoids

Antoine Allioux, Eric Finster, and Matthieu Sozeau

Semisimplicial Types in Internal Categories with Families

Joshua Chen and Nicolai Kraus

Interpreting Twisted Cubes as Partially Ordered Spaces

Gun Pinyo

A finite-dimensional model for affine, linear quantum lambda calculi with general recursion

Alejandro Díaz-Caro, Malena Ivnisky, Hernán Melgratti, and Benoît Valiron

B-systems and C-systems are equivalent

Benedikt Ahrens, Jacopo Emmenegger, Paige North and Egbert Rijke