Hochschulschrift
On confluence and semantic full abstraction of lambda calculus languages
- Alternative title
-
Über Konfluenz und semantische vollständige Abstraktion von Lambda-Kalkül-Sprachen
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Saarbrücken, Universität des Saarlandes, Dissertation, 2016
- Classification
-
Informatik
- Keyword
-
Lambda-Kalkül ; Funktionale Programmiersprache ; Semantischer Bereich
- Event
-
Veröffentlichung
- (where)
-
Saarbrücken
- (who)
-
Saarländische Universitäts- und Landesbibliothek
- (when)
-
2016
- Creator
- Contributor
-
Wilhelm, Reinhard
- URN
-
urn:nbn:de:bsz:291-scidok-67145
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:43 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.
Object type
- Hochschulschrift
Associated
- Müller, Fritz
- Wilhelm, Reinhard
- Saarländische Universitäts- und Landesbibliothek
Time of origin
- 2016
Other Objects (12)
Dynamic Lambda Calculus
Constrained lambda calculus
The overtyped lambda calculus
Distributional measures of semantic abstraction
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
Dynamic Lambda Calculus
Constrained lambda calculus
The overtyped lambda calculus
Distributional measures of semantic abstraction
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
Dynamic Lambda Calculus
Constrained lambda calculus
The overtyped lambda calculus
Distributional measures of semantic abstraction
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