nLab C.B. Aberlé

Selected writings

Selected writings

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:

category: people

Last revised on February 19, 2025 at 10:22:31. See the history of this page for a list of all contributions to it.