Contents of Report

[Data of Report]

Report Number:: TR0072
Date of Registration:: 1984.08
English Title:: Comparison of Closure Reduction and Combinatory Reduction Schemes
Japanese Title:: ***
English Author:: T.Ida,A.Konagaya
Japanese:: ***
Name of Organization to which author belongs:: Riken,NEC
PDF:: tr0072.pdf

	Abstract	.... 3
1	Introduction	.... 4
2	Λ-calculus and Machine Models	.... 5
3	Combinatory System and Machine Models	.... 10
4	Σ-labelled Tree and Labelled Reducers	.... 11
5	Initial Comparison of λ-reducers and Closure Reducers	.... 14
6	Elaboration of λ-reducers	.... 18
7	Examples of Comparisons	.... 20
8	Towards a More Efficient Reducer	.... 23
9	Conclusion	.... 25
	References	.... 27
	Figures	.... 28
	End	.... 47

目次をクリックすると、PDFファイルが表示されます。