- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
SEKI Report ; 95,05
- Event
-
Veröffentlichung
- (where)
-
Kaiserslautern
- (who)
-
Technische Universität Kaiserslautern, Fachbereich Informatik
- (when)
-
1999
- Creator
-
Kohlhase, Michael
Hutter, Dieter
- URN
-
urn:nbn:de:hbz:386-kluedo-3451
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:21 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
- Kohlhase, Michael
- Hutter, Dieter
- Technische Universität Kaiserslautern, Fachbereich Informatik
Time of origin
- 1999
Other Objects (12)
The overtyped lambda calculus
Constrained lambda calculus
Dynamic Lambda Calculus
Category theory and the simply typed λ-calculus [lambda-calculus]
Standard models of the overtyped lambda-calculus
Binary lambda calculus and combinatory logic
Abstract computing machines : a Lambda calculus perspective
Label dependent lambda calculus and gradual typing
An encoding of the $$\lambda $$ λ -calculus in the String MultiSet Rewriting calculus
The parametric lambda calculus : a meta-model for computation
A constructive domain model of polymorphic lambda calculus
Polymorphic lambda calculus with context-free session types
The overtyped lambda calculus
Constrained lambda calculus
Dynamic Lambda Calculus
Category theory and the simply typed λ-calculus [lambda-calculus]
Standard models of the overtyped lambda-calculus
Binary lambda calculus and combinatory logic
Abstract computing machines : a Lambda calculus perspective
Label dependent lambda calculus and gradual typing
An encoding of the $$\lambda $$ λ -calculus in the String MultiSet Rewriting calculus
The parametric lambda calculus : a meta-model for computation
A constructive domain model of polymorphic lambda calculus
Polymorphic lambda calculus with context-free session types
The overtyped lambda calculus
Constrained lambda calculus
Dynamic Lambda Calculus
Category theory and the simply typed λ-calculus [lambda-calculus]
Standard models of the overtyped lambda-calculus
Binary lambda calculus and combinatory logic
Abstract computing machines : a Lambda calculus perspective
Label dependent lambda calculus and gradual typing
An encoding of the $$\lambda $$ λ -calculus in the String MultiSet Rewriting calculus
The parametric lambda calculus : a meta-model for computation
A constructive domain model of polymorphic lambda calculus