The Geometry of Optimal Lambda Reduction (1992)

View PDF

Download Links

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