The Geometry of Optimal Lambda Reduction (1992)
by
Georges Gonthier
,
Martín Abadi
,
Jean-Jacques Lévy
| Citations: | 93 - 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 |
