Contents of Report

[Data of Report]

Report Number:: TR0017
Date of Registration:: 1983.08
English Title:: Average Size of Turner's Translation to Combinator Programas
Japanese Title:: ***
English Author:: T.Hikita
Japanese:: ***
Name of Organization to which author belongs:: Tokyo Metropolitan Univ.
PDF:: tr0017.pdf

	Abstract	.... 2
1	Introduction	.... 3
2	Turner's Translation scheme	.... 5
3	Results by Kennaway	.... 8
4	An Upper Bound of Average Size	.... 10
5	Lower Bounds of Average Size	.... 13
6	Numerical Statistics	.... 16
7	Concluding Remarks	.... 18
	References	.... 19
	Figures	.... 20
	End	.... 27

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