AbstractsComputer Science

Reduction types and intensionality in the lambda-calculus

by David Amson Wright




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


Abstract