The maximality of the typed lambda calculus and of cartesian closed categories

From MaRDI portal

(Redirected from The maximality of the typed lambda calculus and of cartesian closed categories)

Jump to:navigation, search

WARNING: Page is not linked to a MaRDI-Entity. Please add Sitelink / Wikibase-link.

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=The_maximality_of_the_typed_lambda_calculus_and_of_cartesian_closed_categories&oldid=82881446"