Call-by-value versus call-by-name
Subtitle: a proof-theoretic comparison.
Contributors: Mathematisch Centrum. Afdeling Informatica.
Series: IW 23/76
Publisher: Mathematisch Centrum
Published: 1976
Place of publication: Amsterdam
Language: eng
Notes: Preprint.