Reduction types and intensionality in the lambda-calculus
Institution: | University of Tasmania |
---|---|
Department: | |
Year: | 1992 |
Keywords: | Lambda calculus; Functional programming languages |
Record ID: | 1032720 |
Full text PDF: | http://eprints.utas.edu.au/21897/1/whole_WrightDavidAmson1993_thesis.pdf |