Categories with Families: Unityped, Simply Typed, and Dependently Typed

Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics - Outstanding Contributions to Logic ◽

10.1007/978-3-030-66545-6_5 ◽

2021 ◽

pp. 135-180

Author(s):

Simon Castellan ◽

Pierre Clairambault ◽

Peter Dybjer

Download Full-text