Abstract computing machines. A lambda calculus perspective.

DOI10.1007/B138965MaRDI QIDQ1769930zbMATH OpenOpenAlexFDO

Authors Werner Kluge

Publication date 30 March 2005

Published in Texts in Theoretical Computer Science. An EATCS Series (Search for Journal in Brave)

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

zbMATH Keywords

computer organizationstate transition rules

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Mathematical problems of computer architecture (68M07) Functional programming and lambda calculus (68N18) Analysis of algorithms and problem complexity (68Q25)

Recommendations

• Abstract λ-Calculus Machines
• An Introduction to the Lambda Calculus
• scientific article; zbMATH DE number 783760
• From operational semantics to abstract machines
• scientific article; zbMATH DE number 2242116

Cited in

(9)

• Median filtering: a new insight
• A resource semantics and abstract machine for \textit{Safe}: a functional language with regions and explicit deallocation
• State-transition machines for lambda-calculus expressions
• An Introduction to the Lambda Calculus
• Abstract λ-Calculus Machines
• Programs, Grammars and Arguments: A Personal View of some Connections between Computation, Language and Logic
• A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation
• Addressing machines as models of \(\lambda\)-calculus
• Refunctionalization at work

This page was built for publication: Abstract computing machines. A lambda calculus perspective.

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