Bisimulation congruence for the call by value lambda-calculus

Bibliographische Detailangaben

1. Verfasser:	Frauenstein, Thomas (VerfasserIn)
Weitere Verfasser:	Glas, Rainer (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin Technische Univ. Berlin, Fachbereich 13 1996
Schriftenreihe:	Technische Universität <Berlin> / Fachbereich Informatik: Bericht 1996,10
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!