Polyvariant analysis of the untyped lambda calculus
By: Jens Palsberg, Michael I. Schwartzbach.
Contributors: Schwartzbach, Michael I.
Series: DAIMI PB -- 386
Publisher: Computer Science Department, Aarhus University
Published: 1992
Place of publication: Aarhus, Denmark
Language: eng