1994•TU/e Research PortalRequires access
Typed lambda-calculus
J.H. Geuvers, Rob Nederpelt
Open publisher page 0 citations
Abstract
No abstract.
J.H. Geuvers, Rob Nederpelt
Abstract
No abstract.
A significance statement is not available in the OpenAlex record.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
No abstract.
Key concepts: Calculus (dental), Typed lambda calculus, Church encoding, Computer science, Simply typed lambda calculus, Lambda, Lambda calculus, Mathematics