The next 700 Krivine machines


The Krivine machine is a simple and natural implementation of the normal weak-head reduction strategy for pure λ-terms. While its original description has remained unpublished, this machine has served as a basis for many variants, extensions and theoretical studies. In this paper, we present the Krivine machine and some well-known variants in a common… (More)
DOI: 10.1007/s10990-007-9016-y


Cite this paper

@article{Douence2007TheN7, title={The next 700 Krivine machines}, author={R{\'e}mi Douence and Pascal Fradet}, journal={Higher-Order and Symbolic Computation}, year={2007}, volume={20}, pages={237-255} }