New proofs of important theorems of untyped extensional \(\lambda\) calculus

From MaRDI portal

(Redirected from New proofs of important theorems of untyped extensional calculus)
New proofs of important theorems of untyped extensional \(\lambda\) calculus

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=New_proofs_of_important_theorems_of_untyped_extensional_%5C(%5Clambda%5C)_calculus&oldid=78380510"