C. B. Aberlé

According to our database, C. B. Aberlé authored at least 5 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Substructural Parametricity.

C. B. Aberlé, Chris Martens, Frank Pfenning

CoRR, March, 2025

Substructural Parametricity.

C. B. Aberlé, Karl Crary, Chris Martens, Frank Pfenning

Proceedings of the 10th International Conference on Formal Structures for Computation and Deduction, 2025

2024

Polynomial Universes and Dependent Types.

C. B. Aberlé, David I. Spivak

CoRR, 2024

Parametricity via Cohesion.

C. B. Aberlé

CoRR, 2024

Foundations of Substructural Dependent Type Theory.

C. B. Aberlé

CoRR, 2024