Bisimulation congruence for the call by value lambda-calculus

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Frauenstein, Thomas (VerfasserIn)
Weitere Verfasser:	Glas, Rainer (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	Berlin Techn. Univ., Fachber. 13, Informatik 1996
Schriftenreihe:	Forschungsberichte des Fachbereichs Informatik / Technische Universität Berlin, Fachbereich 13, Informatik 96,10
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	18 Bl. : graph. Darst.