Computing Publications

Publications Home » Reduction as Deduction

Reduction as Deduction

John Darlington, Yike Guo, Martin

Conference or Workshop Paper
6th International Workshop on Implementation of Functional Languages, Norwich, UK
September, 1994
PDF of full publication (166 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
Conditions for downloading publications from this site. built & maintained by Ashok Argent-Katwala.