- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783826514944
3826514947
- Dimensions
-
21 cm
- Extent
-
157 S.
- Edition
-
Als Ms. gedr.
- Language
-
Englisch
- Notes
-
graph. Darst.
Zugl.: Siegen, Univ., Diss., 1996
- Keyword
-
Typisierter Lambda-Kalkül
Bereichstheorie
- Event
-
Veröffentlichung
- (where)
-
Aachen
- (who)
-
Shaker
- (when)
-
1996
- Creator
-
Gruchalski, Andreas
- 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:36 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
- Gruchalski, Andreas
- Shaker
Time of origin
- 1996
Other Objects (12)
Typed lambda calculi and applications : proceedings
Typed lambda calculi and applications : proceedings
Typed lambda calculi and applications : proceedings
Domain models of typed lambda calculi : towards a theory of concurrency in typed functional setting
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
Domain models of typed lambda calculi : towards a theory of concurrency in typed functional setting
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
Domain models of typed lambda calculi : towards a theory of concurrency in typed functional setting
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