Programming language semantics using extensional lambda-calculus models

Bibliographische Detailangaben

1. Verfasser:	Egli, Herbert (VerfasserIn)
Format:	Buch
Sprache:	Undetermined
Veröffentlicht:	Ithaca, New York 1974
Schriftenreihe:	Cornell University <Ithaca, NY> / Department of Computer Science: Technical report 206
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!