|
|||||
|
|
On the correctness of the Krivine machine |
|
| Authors: | Mitchell Wand |
| Affiliation: | (1) College of Computer and Information Science, Northeastern University, Boston, MA 02115, USA |
| Abstract: | We provide a short proof of the correctness of the Krivine machine by showing how it simulates weak head reduction. |
| Keywords: | Krivine machine Lambda calculus Weak head reduction |
| 本文献已被 SpringerLink 等数据库收录！ | |