The Linear Abstract Machine (1988)

by Y Lafont