- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Event
-
Veröffentlichung
- (where)
-
Kaiserslautern
- (who)
-
Technische Universität Kaiserslautern, Fachbereich Informatik
- (when)
-
1999
- Creator
- URN
-
urn:nbn:de:hbz:386-kluedo-2536
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:42 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
- Kohlhase, Michael
- Kuschert, Susanna
- Technische Universität Kaiserslautern, Fachbereich Informatik
Time of origin
- 1999
Other Objects (12)
Constrained lambda calculus
The overtyped lambda calculus
Binary lambda calculus and combinatory logic
Category theory and the simply typed λ-calculus [lambda-calculus]
A Coloured Version of the Lambda-Calculus
Label dependent lambda calculus and gradual typing
Standard models of the overtyped lambda-calculus
Abstract computing machines : a Lambda calculus perspective
A constructive domain model of polymorphic lambda calculus
Polymorphic lambda calculus with context-free session types
A non-deterministic call-by-need lambda calculus
The parametric lambda calculus : a meta-model for computation
Constrained lambda calculus
The overtyped lambda calculus
Binary lambda calculus and combinatory logic
Category theory and the simply typed λ-calculus [lambda-calculus]
A Coloured Version of the Lambda-Calculus
Label dependent lambda calculus and gradual typing
Standard models of the overtyped lambda-calculus
Abstract computing machines : a Lambda calculus perspective
A constructive domain model of polymorphic lambda calculus
Polymorphic lambda calculus with context-free session types
A non-deterministic call-by-need lambda calculus
The parametric lambda calculus : a meta-model for computation
Constrained lambda calculus
The overtyped lambda calculus
Binary lambda calculus and combinatory logic
Category theory and the simply typed λ-calculus [lambda-calculus]
A Coloured Version of the Lambda-Calculus
Label dependent lambda calculus and gradual typing
Standard models of the overtyped lambda-calculus
Abstract computing machines : a Lambda calculus perspective
A constructive domain model of polymorphic lambda calculus
Polymorphic lambda calculus with context-free session types
A non-deterministic call-by-need lambda calculus