Konferenzschrift
λ-Calculus [Lambda-calculus] and computer science theory : proceedings of the symposium held in Rome march 25 - 27, 1975
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540074168
3540074163
9780387074160
0387074163
- Dimensions
-
25 cm
- Extent
-
XII, 370 S.
- Language
-
Deutsch
- Notes
-
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; 37
- Keyword
-
Informatik
Kombinatorische Logik
Programmiersprache
Kombinatorische Logik
Lambda-Kalkül
Mathematische Logik
Programmierung (Datenverarbeitung)
Elektronische Datenverarbeitung
Informatik
Kombinatorische Logik
Programmiersprache
Lambda-Kalkül
Mathematische Logik
Programmierung
Datenverarbeitung
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York
- (who)
-
Springer
- (when)
-
1975
- Contributor
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:15 PM 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.
Object type
- Konferenzschrift
Associated
Time of origin
- 1975
Other Objects (12)
Constrained lambda calculus
Dynamic Lambda Calculus
The overtyped lambda calculus
Category theory and the simply typed λ-calculus [lambda-calculus]
Binary lambda calculus and combinatory logic
Abstract computing machines : a Lambda calculus perspective
Standard models of the overtyped lambda-calculus
Label dependent lambda calculus and gradual typing
A Coloured Version of the Lambda-Calculus
An encoding of the $$\lambda $$ λ -calculus in the String MultiSet Rewriting calculus
A constructive domain model of polymorphic lambda calculus
Polymorphic lambda calculus with context-free session types
Constrained lambda calculus
Dynamic Lambda Calculus
The overtyped lambda calculus
Category theory and the simply typed λ-calculus [lambda-calculus]
Binary lambda calculus and combinatory logic
Abstract computing machines : a Lambda calculus perspective
Standard models of the overtyped lambda-calculus
Label dependent lambda calculus and gradual typing
A Coloured Version of the Lambda-Calculus
An encoding of the $$\lambda $$ λ -calculus in the String MultiSet Rewriting calculus
A constructive domain model of polymorphic lambda calculus
Polymorphic lambda calculus with context-free session types
Constrained lambda calculus
Dynamic Lambda Calculus
The overtyped lambda calculus
Category theory and the simply typed λ-calculus [lambda-calculus]
Binary lambda calculus and combinatory logic
Abstract computing machines : a Lambda calculus perspective
Standard models of the overtyped lambda-calculus
Label dependent lambda calculus and gradual typing
A Coloured Version of the Lambda-Calculus
An encoding of the $$\lambda $$ λ -calculus in the String MultiSet Rewriting calculus
A constructive domain model of polymorphic lambda calculus