- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Edition
-
Version 19. Juni 2008
- Language
-
Englisch
- Bibliographic citation
-
Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik ; 27
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Frankfurt am Main
- (who)
-
Univ.-Bibliothek Frankfurt am Main
- (when)
-
2008
- Creator
- URN
-
urn:nbn:de:hebis:30:3-344287
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:41 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
- Univ.-Bibliothek Frankfurt am Main
Time of origin
- 2008
Other Objects (12)
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
Constructive domain models of typed lambda calculi
Comparing reduction strategies in resource conscious lambda calculi
Typed lambda calculi and applications : 4th international conference ; proceedings
Typed lambda calculi and applications : 11th international conference ; proceedings
Decidability for non-standard conversions in typed lambda-calculi
Typed lambda calculi and applications : 9th international conference ; proceedings
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
Constructive domain models of typed lambda calculi
Comparing reduction strategies in resource conscious lambda calculi
Typed lambda calculi and applications : 4th international conference ; proceedings
Typed lambda calculi and applications : 11th international conference ; proceedings
Decidability for non-standard conversions in typed lambda-calculi
Typed lambda calculi and applications : 9th international conference ; proceedings
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
Constructive domain models of typed lambda calculi
Comparing reduction strategies in resource conscious lambda calculi
Typed lambda calculi and applications : 4th international conference ; proceedings
Typed lambda calculi and applications : 11th international conference ; proceedings
Decidability for non-standard conversions in typed lambda-calculi