Contents of Report

[Data of Report]

	Abstract	.... 2
1	Introduction	.... 2
2	MGTP	.... 3
3	Realizability Interpretation	.... 4
4	Difficulties and soltions	.... 5
4.1	Clausal forms and resolution	.... 5
4.2	The recursion and the induction	.... 6
4.3	Equality	.... 7
5	An example	.... 7
6	Discussion	.... 8
6.1	Concurrent programs and programs Extraction	.... 8
6.2	Logic Programs and Program Setraction	.... 8
7	Conclusion	.... 8
8	Acknowledgements	.... 9
9	References	.... 9
	End	.... 10

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