Correctness results for lambda calculus interpreters

Front Cover
Cornell University, June, 1971 - Computers - 314 pages
0 Reviews

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Related books

Contents

THE MODIFIED SECD MACHINE
26
THE BASIC LAMBDA CALCULUS MACHINE
61
THE FIXED PROGRAM MACHINE
104

2 other sections not shown

Common terms and phrases

Bibliographic information