A glimpse into the paradise of combinatory algebra

DOI10.1007/BF00979873zbMATH Open0551.68029OpenAlexW2060647547MaRDI QIDQ3343428FDOQ3343428

Authors: William Richard Stark 

Publication date: 1984

Published in: International Journal of Computer & Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00979873

Recommendations

• scientific article; zbMATH DE number 4002064
• The lambda calculus is algebraic
• Applying universal algebra to lambda calculus
• scientific article; zbMATH DE number 3889503
• scientific article; zbMATH DE number 3993540

zbMATH Keywords

functional programmingfixed pointsfinite state automatontype-free lambda-calculuscombinatory algebrafoundations of computability theory

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Automata and formal grammars in connection with logical questions (03D05) Combinatory logic and lambda calculus (03B40) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Abstract data types; algebraic specification (68Q65) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Cites Work

• ALGOL 60
• Combinatory logic. With two sections by William Craig.
• Title not available (Why is that?)
• Recursive functions of symbolic expressions and their computation by machine, Part I
• Combinatory logic. Vol. II
• Correspondence between ALGOL 60 and Church's Lambda-notation
• The next 700 programming languages
• Can programming be liberated from the von Neumann style?
• Title not available (Why is that?)
• Title not available (Why is that?)
• Apparent variables from the standpoint of combinatory logic
• Highlights of the History of the Lambda-Calculus

Cited In (8)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Nominal Axiomatization of the Lambda Calculus
• Title not available (Why is that?)
• Title not available (Why is that?)
• The lambda calculus is algebraic

Uses Software

• ALGOL 60

This page was built for publication: A glimpse into the paradise of combinatory algebra

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