Sciweavers

LISP
2007

A call-by-name lambda-calculus machine

13 years 11 months ago
A call-by-name lambda-calculus machine
Jean-Louis Krivine
Added 16 Dec 2010
Updated 16 Dec 2010
Type Journal
Year 2007
Where LISP
Authors Jean-Louis Krivine
Comments (0)