A dynamic type system for higher-order processes

Bibliographische Detailangaben

1. Verfasser:	Hüttel, Hans (VerfasserIn)
Weitere Verfasser:	Larsen, Kim G. (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	Aalborg 1993
Schriftenreihe:	Institute for Electronic Systems, Department of Mathematics and Computer Science, Aalborg University R 93-03
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!