Modified basic functionality in combinatory logic

DOI10.1111/j.1746-8361.1969.tb01183.xzbMath0257.02018OpenAlexW2034589435MaRDI QIDQ5672870

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)

Related Items

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