A glimpse into the paradise of combinatory algebra
Copyright policy )A glimpse into the paradise of combinatory algebra
The paper gives an exposition of the basic notions of combinatory algebra and the type-free lambda-calculus accompanied with motivations and historical comments. Classical properties concerning fixed points, foundations of computability theory and relation of the lambda-calculus to functional programming are presented. A translation of the finite state automaton model into the terms of combinatory algebra is given.
- Florida Southern College United States
- University of South Florida United States
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations, combinatory algebra, Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science, fixed points, type-free lambda-calculus, functional programming, Formal languages and automata, Automata and formal grammars in connection with logical questions, Computability and recursion theory on ordinals, admissible sets, etc., foundations of computability theory, Combinatory logic and lambda calculus, finite state automaton, Abstract data types; algebraic specification
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations, combinatory algebra, Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science, fixed points, type-free lambda-calculus, functional programming, Formal languages and automata, Automata and formal grammars in connection with logical questions, Computability and recursion theory on ordinals, admissible sets, etc., foundations of computability theory, Combinatory logic and lambda calculus, finite state automaton, Abstract data types; algebraic specification
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).0 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Average influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Average impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Average
Citations provided by BIP!Popularity provided by BIP!