, Volume 20, Issue 3, pp 231-235
Date: 24 Oct 2007

On the correctness of the Krivine machine

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access

Abstract

We provide a short proof of the correctness of the Krivine machine by showing how it simulates weak head reduction.