(Q29041781)
Statements
Call-by-name, call-by-value and the λ-calculus (English)
1 reference
G.D. Plotkin
1 reference
December 1975
1 reference
1
1 reference
2
1 reference
125-159
1 reference
scientific article (publication date: December 1975)