ASMs and Operational Algorithmic Completeness of Lambda Calculus
From MaRDI portal
Publication:3586009
DOI10.1007/978-3-642-15025-8_16zbMath1287.68045arXiv1010.2597MaRDI QIDQ3586009
Serge Grigorieff, Marie C. Ferbus-Zanda
Publication date: 3 September 2010
Published in: Fields of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1010.2597
03B40: Combinatory logic and lambda calculus
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The parametric lambda calculus. A metamodel for computation.
- Combinatory logic. With two sections by William Craig.
- The lambda calculus. Its syntax and semantics. Rev. ed.
- Palindrome recognition using a multidimensional tape.
- A call-by-name lambda-calculus machine
- A Natural Axiomatization of Computability and Proof of Church's Thesis
- Abstract State Machines
- Efficient self-interpretation in lambda calculus
- Evolving Algebras 1993: Lipari Guide
- One-tape, off-line Turing machine computations
- Sequential abstract-state machines capture sequential algorithms
- Processes, Terms and Cycles: Steps on the Road to Infinity