- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Edition
-
Version 22. August 2013
- Language
-
Englisch
- Bibliographic citation
-
Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik ; 51
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Frankfurt am Main
- (who)
-
Univ.-Bibliothek Frankfurt am Main
- (when)
-
2013
- Creator
- URN
-
urn:nbn:de:hebis:30:3-336056
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:47 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
- Schmidt-Schauß, Manfred
- Machkasova, Elena
- Sabel, David
- Univ.-Bibliothek Frankfurt am Main
Time of origin
- 2013
Other Objects (12)
Extending Abramsky's lazy lambda calculus: (non)-conservativity of embeddings
Constrained lambda calculus
Dynamic Lambda Calculus
The overtyped lambda calculus
Binary lambda calculus and combinatory logic
Category theory and the simply typed λ-calculus [lambda-calculus]
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
A constructive domain model of polymorphic lambda calculus
Polymorphic lambda calculus with context-free session types
Extending Abramsky's lazy lambda calculus: (non)-conservativity of embeddings
Constrained lambda calculus
Dynamic Lambda Calculus
The overtyped lambda calculus
Binary lambda calculus and combinatory logic
Category theory and the simply typed λ-calculus [lambda-calculus]
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
A constructive domain model of polymorphic lambda calculus
Polymorphic lambda calculus with context-free session types
Extending Abramsky's lazy lambda calculus: (non)-conservativity of embeddings
Constrained lambda calculus
Dynamic Lambda Calculus
The overtyped lambda calculus
Binary lambda calculus and combinatory logic
Category theory and the simply typed λ-calculus [lambda-calculus]
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
A constructive domain model of polymorphic lambda calculus