The Geometry of Optimal Lambda Reduction (1992)

Cached

Download Links

by Georges Gonthier , Martín Abadi , Jean-Jacques Lévy
Citations:97 - 2 self

Document Versions

The Geometry of Optimal Lambda Reduction –Georges Gonthier, Martín Abadi, Jean-Jacques Lévy — 1992
The Geometry of Optimal Lambda Reduction –Georges Gonthier, Martín Abadi, Jean-Jacques Lévy — 1992