A glimpse into the paradise of combinatory algebra

DOI10.1007/BF00979873MaRDI QIDQ3343428zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

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

Cited in

(8)

• The lambda calculus is algebraic
• scientific article; zbMATH DE number 3933052 (Why is no real title available?)
• scientific article; zbMATH DE number 4002064 (Why is no real title available?)
• scientific article; zbMATH DE number 4147470 (Why is no real title available?)
• scientific article; zbMATH DE number 4128787 (Why is no real title available?)
• A Nominal Axiomatization of the Lambda Calculus
• scientific article; zbMATH DE number 722586 (Why is no real title available?)
• scientific article; zbMATH DE number 3889503 (Why is no real title available?)

Describes a project that uses

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)