Call-by-value and non-determinism (1993)

by K Sieber
Venue:International Conference on Typed Lambda Calculi and Applications, number 664 in Lecture Notes in Computer Science