Hochschulschrift
Domain models of typed lambda calculi : towards a theory of concurrency in typed functional setting
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783826534362
3826534360
- Dimensions
-
21 cm
- Extent
-
VIII, 130 S.
- Edition
-
Als Ms. gedr.
- Language
-
Englisch
- Notes
-
graph. Darst.
Zugl.: Siegen, Univ., Diss., 1996
- Keyword
-
Typisierter Lambda-Kalkül
Bereichstheorie
Nebenläufigkeit
- Event
-
Veröffentlichung
- (where)
-
Aachen
- (who)
-
Shaker
- (when)
-
1998
- Creator
-
Dupré, Claudio
- 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:29 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
- Dupré, Claudio
- Shaker
Time of origin
- 1998
Other Objects (12)
Typed lambda calculi and applications : proceedings
Typed lambda calculi and applications : proceedings
Typed lambda calculi and applications : proceedings
Constructive domain models of typed lambda calculi
Typed lambda calculi and applications : 4th international conference ; proceedings
Typed lambda calculi and applications : 11th international conference ; proceedings
Decidability for non-standard conversions in typed lambda-calculi
Typed lambda calculi and applications : 9th international conference ; proceedings
Typed lambda calculi and applications : 10th international conference ; proceedings
Typed lambda calculi and applications : 6th international conference ; proceedings
Typed lambda calculi and applications : 8th international conference ; proceedings
Typed lambda calculi and applications : 5th international conference ; proceedings
Typed lambda calculi and applications : proceedings
Typed lambda calculi and applications : proceedings
Typed lambda calculi and applications : proceedings
Constructive domain models of typed lambda calculi
Typed lambda calculi and applications : 4th international conference ; proceedings
Typed lambda calculi and applications : 11th international conference ; proceedings
Decidability for non-standard conversions in typed lambda-calculi
Typed lambda calculi and applications : 9th international conference ; proceedings
Typed lambda calculi and applications : 10th international conference ; proceedings
Typed lambda calculi and applications : 6th international conference ; proceedings
Typed lambda calculi and applications : 8th international conference ; proceedings
Typed lambda calculi and applications : 5th international conference ; proceedings
Typed lambda calculi and applications : proceedings
Typed lambda calculi and applications : proceedings
Typed lambda calculi and applications : proceedings
Constructive domain models of typed lambda calculi
Typed lambda calculi and applications : 4th international conference ; proceedings
Typed lambda calculi and applications : 11th international conference ; proceedings
Decidability for non-standard conversions in typed lambda-calculi
Typed lambda calculi and applications : 9th international conference ; proceedings
Typed lambda calculi and applications : 10th international conference ; proceedings
Typed lambda calculi and applications : 6th international conference ; proceedings
Typed lambda calculi and applications : 8th international conference ; proceedings