- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Edition
-
rev. Version 29. Januar 2007
- Language
-
Englisch
- Bibliographic citation
-
Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik ; 25
- Classification
-
Informatik
- Keyword
-
Lambda-Kalkül
Programmtransformation
- Event
-
Veröffentlichung
- (where)
-
Frankfurt am Main
- (who)
-
Univ.-Bibliothek Frankfurt am Main
- (when)
-
2007
- Creator
-
Schmidt-Schauß, Manfred
- URN
-
urn:nbn:de:hebis:30:3-344247
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 11:02 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Schmidt-Schauß, Manfred
- Univ.-Bibliothek Frankfurt am Main
Time of origin
- 2007
Other Objects (12)
Equivalence of call-by-name and call-by-need for lambda-calculi with letrec
Counterexamples to simulation in non-deterministic call-by-need lambda-calculi with letrec
How to prove similarity a precongruence in non-deterministic call-by-need lambda calculi
Semantics of a call-by-need lambda calculus with McCarthy's amb for program equivalence
A non-deterministic call-by-need lambda calculus
Simulation in the call-by-need lambda-calculus with letrec
Simulation in the call-by-need lambda-calculus with letrec
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
Simulation in the call-by-need lambda-calculus with letrec, case, constructors, and seq
Simulation in the call-by-need lambda-calculus with letrec, case, constructors, and seq
Equivalence of call-by-name and call-by-need for lambda-calculi with letrec
Counterexamples to simulation in non-deterministic call-by-need lambda-calculi with letrec
How to prove similarity a precongruence in non-deterministic call-by-need lambda calculi
Semantics of a call-by-need lambda calculus with McCarthy's amb for program equivalence
A non-deterministic call-by-need lambda calculus
Simulation in the call-by-need lambda-calculus with letrec
Simulation in the call-by-need lambda-calculus with letrec
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
Simulation in the call-by-need lambda-calculus with letrec, case, constructors, and seq
Simulation in the call-by-need lambda-calculus with letrec, case, constructors, and seq
Equivalence of call-by-name and call-by-need for lambda-calculi with letrec
Counterexamples to simulation in non-deterministic call-by-need lambda-calculi with letrec
How to prove similarity a precongruence in non-deterministic call-by-need lambda calculi
Semantics of a call-by-need lambda calculus with McCarthy's amb for program equivalence
A non-deterministic call-by-need lambda calculus
Simulation in the call-by-need lambda-calculus with letrec
Simulation in the call-by-need lambda-calculus with letrec
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
Simulation in the call-by-need lambda-calculus with letrec, case, constructors, and seq