Hochschulschrift
Semantics of a call-by-need lambda calculus with McCarthy's amb for program equivalence
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783899638660
- Maße
-
21 cm, 505 gr.
- Umfang
-
XXX, 358 S.
- Ausgabe
-
1. Aufl.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Zugl.: Frankfurt (Main), Univ., Diss., 2008
- Schlagwort
-
Programmtransformation
Korrektheit
Programmiersprache
Nebenläufigkeit
Abstrakter Automat
Lambda-Kalkül
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:58 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Sabel, David
- Verl. Dr. Hut
Entstanden
- 2008
Ähnliche Objekte (12)
A non-deterministic call-by-need lambda calculus
Program equivalence for a concurrent lambda calculus with futures
Simulation in the call-by-need lambda-calculus with letrec
Simulation in the call-by-need lambda-calculus with letrec
Equivalence of call-by-name and call-by-need for lambda-calculi with letrec
Equivalence of call-by-name and call-by-need for lambda-calculi with letrec
Constrained lambda calculus
Dynamic Lambda Calculus
On equivalences and standardization in a non-deterministic call-by-need lambda calculus
On equivalences and standardization in a non-deterministic call-by-need lambda calculus
On equivalences and standardization in a non-deterministic call-by-need lambda calculus
The overtyped lambda calculus
A non-deterministic call-by-need lambda calculus
Program equivalence for a concurrent lambda calculus with futures
Simulation in the call-by-need lambda-calculus with letrec
Simulation in the call-by-need lambda-calculus with letrec
Equivalence of call-by-name and call-by-need for lambda-calculi with letrec
Equivalence of call-by-name and call-by-need for lambda-calculi with letrec
Constrained lambda calculus
Dynamic Lambda Calculus
On equivalences and standardization in a non-deterministic call-by-need lambda calculus
On equivalences and standardization in a non-deterministic call-by-need lambda calculus
On equivalences and standardization in a non-deterministic call-by-need lambda calculus
The overtyped lambda calculus
A non-deterministic call-by-need lambda calculus
Program equivalence for a concurrent lambda calculus with futures
Simulation in the call-by-need lambda-calculus with letrec
Simulation in the call-by-need lambda-calculus with letrec
Equivalence of call-by-name and call-by-need for lambda-calculi with letrec
Equivalence of call-by-name and call-by-need for lambda-calculi with letrec
Constrained lambda calculus
Dynamic Lambda Calculus
On equivalences and standardization in a non-deterministic call-by-need lambda calculus
On equivalences and standardization in a non-deterministic call-by-need lambda calculus
On equivalences and standardization in a non-deterministic call-by-need lambda calculus