- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik ; 40
- Classification
-
Informatik
- Keyword
-
Formale Semantik
Lambda-Kalkül
- Event
-
Veröffentlichung
- (where)
-
Frankfurt am Main
- (who)
-
Univ.-Bibliothek Frankfurt am Main
- (when)
-
2010
- Creator
-
Schmidt-Schauß, Manfred
Sabel, David
Machkasova, Elena
- URN
-
urn:nbn:de:hebis:30-77888
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:53 PM CET
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
- Sabel, David
- Machkasova, Elena
- Univ.-Bibliothek Frankfurt am Main
Time of origin
- 2010
Other Objects (12)
Simulation in the call-by-need lambda-calculus with letrec
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
Simulation in the call-by-need lambda-calculus with letrec, case, constructors, and seq
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
Semantics of a call-by-need lambda calculus with McCarthy's amb for program equivalence
Counterexamples to simulation in non-deterministic call-by-need lambda-calculi with letrec
Applicative may- and should-simulation in the call-by-value lambda calculus with amb
A call-by-need lambda-calculus with locally bottom-avoiding choice: context lemma and correctness of transformations
Simulation in the call-by-need lambda-calculus with letrec
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
Simulation in the call-by-need lambda-calculus with letrec, case, constructors, and seq
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
Semantics of a call-by-need lambda calculus with McCarthy's amb for program equivalence
Counterexamples to simulation in non-deterministic call-by-need lambda-calculi with letrec
Applicative may- and should-simulation in the call-by-value lambda calculus with amb
A call-by-need lambda-calculus with locally bottom-avoiding choice: context lemma and correctness of transformations
Simulation in the call-by-need lambda-calculus with letrec
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
Simulation in the call-by-need lambda-calculus with letrec, case, constructors, and seq
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
Semantics of a call-by-need lambda calculus with McCarthy's amb for program equivalence
Counterexamples to simulation in non-deterministic call-by-need lambda-calculi with letrec
Applicative may- and should-simulation in the call-by-value lambda calculus with amb