Contextual equivalence in lambda-calculi extended with letrec and with a parametric polymorphic type system
- 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 ; 36
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Frankfurt am Main
- (who)
-
Univ.-Bibliothek Frankfurt am Main
- (when)
-
2009
- Creator
-
Schmidt-Schauß, Manfred
Sabel, David
Harwath, Frederik
- URN
-
urn:nbn:de:hebis:30-67642
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:45 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
- Harwath, Frederik
- Univ.-Bibliothek Frankfurt am Main
Time of origin
- 2009
Other Objects (12)
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
Program equivalence for a concurrent lambda calculus with futures
On generic context lemmas for lambda calculi with sharing
On generic context lemmas for lambda calculi with sharing
On generic context lemmas for lambda calculi with sharing
Typed lambda calculi and applications : proceedings
Typed lambda calculi and applications : proceedings
Typed lambda calculi and applications : proceedings
Constraint-lambda calculi : theory and applications
Counterexamples to simulation in non-deterministic call-by-need lambda-calculi with letrec
Constructive domain models of typed lambda calculi
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
Program equivalence for a concurrent lambda calculus with futures
On generic context lemmas for lambda calculi with sharing
On generic context lemmas for lambda calculi with sharing
On generic context lemmas for lambda calculi with sharing
Typed lambda calculi and applications : proceedings
Typed lambda calculi and applications : proceedings
Typed lambda calculi and applications : proceedings
Constraint-lambda calculi : theory and applications
Counterexamples to simulation in non-deterministic call-by-need lambda-calculi with letrec
Constructive domain models of typed lambda calculi
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
Program equivalence for a concurrent lambda calculus with futures
On generic context lemmas for lambda calculi with sharing
On generic context lemmas for lambda calculi with sharing
On generic context lemmas for lambda calculi with sharing
Typed lambda calculi and applications : proceedings
Typed lambda calculi and applications : proceedings
Typed lambda calculi and applications : proceedings
Constraint-lambda calculi : theory and applications
Counterexamples to simulation in non-deterministic call-by-need lambda-calculi with letrec