Call-by-Value, call-by-name and the logic of values

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-63172-0_54 ◽

1997 ◽

pp. 431-445 ◽

Author(s):

Robert F. Stärk

Download Full-text