Semantics of a Call-by-Need Lambda Calculus with McCarthy amb for programm equivalence

Zugl.: Frankfurt am Main, Univ., Diss., 2008

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Sabel, David (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	München Dr. Hut Verlag 2008
Ausgabe:	1. Aufl.
Schriftenreihe:	Informatik
Schlagworte:	Programmtransformation - Korrektheit - Programmiersprache - Nebenläufigkeit - Abstrakter Automat - Lambda-Kalkül > Lambda-Kalkül > Programmtransformation > Programmiersprache > Nebenläufigkeit > Korrektheit > Abstrakter Automat > Hochschulschrift
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	Zugl.: Frankfurt am Main, Univ., Diss., 2008
Beschreibung:	XXX, 358 S. 210 mm x 148 mm, 505 gr.
ISBN:	9783899638660 978-3-89963-866-0