Modified basic functionality in combinatory logic

DOI10.1111/J.1746-8361.1969.TB01183.XMaRDI QIDQ5672870zbMATH OpenOpenAlexFDO

Authors Haskell B. Curry

Publication date 1969

Published in Dialectica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1111/j.1746-8361.1969.tb01183.x

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cited in

(8)

• Types with intersection: An introduction
• Extending the type checker of Standard ML by polymorphic recursion
• On the semantics of polymorphism
• The completeness theorem for typing lambda-terms
• The Impact of the Lambda Calculus in Logic and Computer Science
• Type inference in polymorphic type discipline
• Type inference with recursive types: Syntax and semantics
• An NSF proposal

This page was built for publication: Modified basic functionality in combinatory logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5672870)