- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
[Wadern]
- (who)
-
[Internat. Begegnungs- und Forschungszentrum für Informatik]
- (when)
-
[2006]
- Contributor
-
Tromp, John
- URN
-
urn:nbn:de:0030-drops-6289
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:49 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
- Tromp, John
- [Internat. Begegnungs- und Forschungszentrum für Informatik]
Time of origin
- [2006]
Other Objects (12)
Dynamic Lambda Calculus
Constrained lambda calculus
The overtyped lambda calculus
Category theory and the simply typed λ-calculus [lambda-calculus]
Label dependent lambda calculus and gradual typing
The calculus of logic.
A Coloured Version of the Lambda-Calculus
Standard models of the overtyped lambda-calculus
Abstract computing machines : a Lambda calculus perspective
On confluence and semantic full abstraction of lambda calculus languages
A constructive domain model of polymorphic lambda calculus
Polymorphic lambda calculus with context-free session types
Dynamic Lambda Calculus
Constrained lambda calculus
The overtyped lambda calculus
Category theory and the simply typed λ-calculus [lambda-calculus]
Label dependent lambda calculus and gradual typing
The calculus of logic.
A Coloured Version of the Lambda-Calculus
Standard models of the overtyped lambda-calculus
Abstract computing machines : a Lambda calculus perspective
On confluence and semantic full abstraction of lambda calculus languages
A constructive domain model of polymorphic lambda calculus
Polymorphic lambda calculus with context-free session types
Dynamic Lambda Calculus
Constrained lambda calculus
The overtyped lambda calculus
Category theory and the simply typed λ-calculus [lambda-calculus]
Label dependent lambda calculus and gradual typing
The calculus of logic.
A Coloured Version of the Lambda-Calculus
Standard models of the overtyped lambda-calculus
Abstract computing machines : a Lambda calculus perspective
On confluence and semantic full abstraction of lambda calculus languages
A constructive domain model of polymorphic lambda calculus