A type theory for Cartesian closed bicategories
From MaRDI portal
Publication:6654504
DOI10.5555/3470152.3470190MaRDI QIDQ6654504FDOQ6654504
Marcelo P. Fiore, Philip Saville
Publication date: 19 December 2024
higher category theorytyped lambda calculusCurry-Howard-Lambek correspondenceCartesian closed bicategories
Combinatory logic and lambda calculus (03B40) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) 2-categories, bicategories, double categories (18N10) Type theory (03B38)
This page was built for publication: A type theory for Cartesian closed bicategories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6654504)
