Algebraic characterisation of models for (lambda)-calculus

Bibliographische Detailangaben

1. Verfasser:	Broy, Manfred (VerfasserIn)
Körperschaft:	Universität Passau Fakultät für Mathematik und Informatik (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Passau Dekanat d. Fak. für Mathematik u. Informatik 1985
Schriftenreihe:	MIP. Technische Berichte der Fakultät für Mathematik und Informatik. Universität Passau 8405
Schlagworte:	Bericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!