For parametricity in cohesive homotopy type theory:
On combining substructural logic with dependent type theory (cf. dependent linear types:
On a presentation of dependent type theory in terms of polynomial functors:
Last revised on February 19, 2025 at 10:22:31. See the history of this page for a list of all contributions to it.