Contents of Report

[Data of Report]

Report Number:: TM0029
Date of Registration:: 1983.10
English Title:: Hier Order;Its Implications to Programming Languages and Computational Models
Japanese Title:: ***
English Author:: T.Ida,M.Sato,S.Hayashi,M.Hagiya,T.Kurokawa,T.Hikita,K.Futatsugi,K.Sakai,T.Toyama,T.Matsuda
Japanese:: ***
Name of Organization to which author belongs:: ICPR,Tokyo Univ,Metropolitan College,Kyoto Univ,ICOT,Tokyo Metropolitan Univ,Electrotechnical laboratory,ICOT,NTT,Tokyo Univ
PDF:: tm0029.pdf

1	Introduction	.... 3
2	Notion of higher-order	.... 5
3	Programming experiences with higher-order notion	.... 12
4	Reduction and resolution	.... 26
5	Proof systems	.... 30
6	Constructive set Theory	.... 32
7	Combinatory systems	.... 35
8	Term rewriting systems	.... 41
9	Higher order unification	.... 46
	End	.... 51

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