- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
59 S.
- Language
-
Englisch
- Bibliographic citation
-
Interner Bericht ; 1975, Nr. 3 : Inst. für Informatik 1
- Event
-
Veröffentlichung
- (where)
-
Karlsruhe
- (who)
-
Univ. Karlsruhe, Fak. für Informatik
- (when)
-
1975
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:03 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
- Raulefs, Peter
- Universität Karlsruhe (TH). Fakultät für Informatik
- Univ. Karlsruhe, Fak. für Informatik
Time of origin
- 1975
Other Objects (12)
The overtyped lambda calculus
Dynamic Lambda Calculus
Constrained lambda calculus
The parametric lambda calculus : a meta-model for computation
A constructive domain model of polymorphic lambda calculus
Category theory and the simply typed λ-calculus [lambda-calculus]
A Coloured Version of the Lambda-Calculus
Binary lambda calculus and combinatory logic
Label dependent lambda calculus and gradual typing
Abstract computing machines : a Lambda calculus perspective
Polymorphic lambda calculus with context-free session types
A non-deterministic call-by-need lambda calculus
The overtyped lambda calculus
Dynamic Lambda Calculus
Constrained lambda calculus
The parametric lambda calculus : a meta-model for computation
A constructive domain model of polymorphic lambda calculus
Category theory and the simply typed λ-calculus [lambda-calculus]
A Coloured Version of the Lambda-Calculus
Binary lambda calculus and combinatory logic
Label dependent lambda calculus and gradual typing
Abstract computing machines : a Lambda calculus perspective
Polymorphic lambda calculus with context-free session types
A non-deterministic call-by-need lambda calculus
The overtyped lambda calculus
Dynamic Lambda Calculus
Constrained lambda calculus
The parametric lambda calculus : a meta-model for computation
A constructive domain model of polymorphic lambda calculus
Category theory and the simply typed λ-calculus [lambda-calculus]
A Coloured Version of the Lambda-Calculus
Binary lambda calculus and combinatory logic
Label dependent lambda calculus and gradual typing
Abstract computing machines : a Lambda calculus perspective
Polymorphic lambda calculus with context-free session types