Algebraic theories for name-passing calculi

Bibliographische Detailangaben

Hauptverfasser:	Parrow, Joachim (VerfasserIn), Sangiorgi, Davide (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Edinburgh 1993
Schriftenreihe:	Laboratory for Foundations of Computer Science <Edinburgh>: LFCS report series 262
Schlagworte:	Computer software Mathematics Mathematik
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!