Making recursions manipulable by constructing medio-types

Bibliographische Detailangaben

1. Verfasser:	Hu, Zhenjiang (VerfasserIn)
Körperschaft:	Tōkyō-daigaku Mathematical Engineering Section (BerichterstatterIn)
Weitere Verfasser:	Iwasaki, Hideya (VerfasserIn), Takeichi, Masato (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Tokyo 1995
Schriftenreihe:	Technical reports / Mathematical engineering section METR 95-04
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!