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

From MaRDI portal
Publication:5014596

DOI10.1007/978-3-030-66545-6_5zbMath1478.18001arXiv1904.00827OpenAlexW3176769887MaRDI QIDQ5014596

Peter Dybjer, Pierre Clairambault, Simon Castellan

Publication date: 8 December 2021

Published in: Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1904.00827




Related Items (1)



Cites Work




This page was built for publication: Categories with Families: Unityped, Simply Typed, and Dependently Typed