Academia.eduAcademia.edu

Unique normal forms for lambda calculus with surjective pairing

1989, Information and Computation

Loading...

Loading Preview

Sorry, preview is currently unavailable. You can download the paper by clicking the button above.