Options
1988
Report
Titel
Investigations into the foundations of functional programming and an implementation of existential quantification on a Lambda calculus based reduction machine
Verlagsort
Syracuse, NY.