Type theory to sono konpyūtashisutemu e no ōyō

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Garrigue, Jacques (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Kyōto Research Institute for Mathematical Sciences, Kyoto University 1998
Schriftenreihe:	Sūri Kaiseki Kenkyūsho kōkyūroku 1023
Schlagworte:	Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	Literaturangaben
Beschreibung:	156 S. graf. Darst., Tab.