Nabla a linguistic system based on multi-dimensional type theory

Zugl.: Lyngby, Techn. Univ., Diss., 1995

Bibliographische Detailangaben

1. Verfasser:	Villadsen, Jørgen (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Lyngby Dept. of Computer Science, Techn. Univ. of Denmark 1995
Schriftenreihe:	ID-TR 156
Schlagworte:	Hochschulschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!