On the correctness of the Krivine machine

DOI10.1007/S10990-007-9019-8zbMath1130.68060OpenAlexW1980602778MaRDI QIDQ2464724

Mitchell Wand

Publication date: 17 December 2007

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10990-007-9019-8

zbMATH Keywords

Lambda calculusKrivine machineWeak head reduction

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (4)

On the value of variables ⋮ Krivine machines and higher-order schemes ⋮ Krivine Machines and Higher-Order Schemes ⋮ The Useful MAM, a Reasonable Implementation of the Strong $$\lambda $$ -Calculus

Uses Software

• ALGOL 60

Cites Work

• Unnamed Item
• Classical logic, continuation semantics and abstract machines
• Explicit substitutions

This page was built for publication: On the correctness of the Krivine machine