Konferenzschrift | Kongress
Typed lambda calculi and applications : proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540590484
354059048X
9780387590486
038759048X
- Dimensions
-
24 cm
- Extent
-
VIII, 442 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 902
- Keyword
-
Typisierter Lambda-Kalkül
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, London, Paris, Tokyo, Hong Kong, Barcelona, Budapest
- (who)
-
Springer
- (when)
-
1995
- Contributor
-
Dezani-Ciancaglini, Mariangiola
International Conference on Typed Lambda Calculi and Applications (2 : 1995 : Edinburgh)
- 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, 1:31 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
- Kongress
Associated
- Dezani-Ciancaglini, Mariangiola
- International Conference on Typed Lambda Calculi and Applications (2 : 1995 : Edinburgh)
- Springer
Time of origin
- 1995
Other Objects (12)
Typed lambda calculi and applications : proceedings
Typed lambda calculi and applications : proceedings
Typed lambda calculi and applications : 11th international conference ; proceedings
Typed lambda calculi and applications : 10th international conference ; proceedings
Typed lambda calculi and applications : 8th international conference ; proceedings
Typed lambda calculi and applications : 9th international conference ; proceedings
Typed lambda calculi and applications : 5th international conference ; proceedings
Typed lambda calculi and applications : 6th international conference ; proceedings
Typed lambda calculi and applications : 4th international conference ; proceedings
Constructive domain models of typed lambda calculi
13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015)
Decidability for non-standard conversions in typed lambda-calculi
Typed lambda calculi and applications : proceedings
Typed lambda calculi and applications : proceedings
Typed lambda calculi and applications : 11th international conference ; proceedings
Typed lambda calculi and applications : 10th international conference ; proceedings
Typed lambda calculi and applications : 8th international conference ; proceedings
Typed lambda calculi and applications : 9th international conference ; proceedings
Typed lambda calculi and applications : 5th international conference ; proceedings
Typed lambda calculi and applications : 6th international conference ; proceedings
Typed lambda calculi and applications : 4th international conference ; proceedings
Constructive domain models of typed lambda calculi
13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015)
Decidability for non-standard conversions in typed lambda-calculi
Typed lambda calculi and applications : proceedings
Typed lambda calculi and applications : proceedings
Typed lambda calculi and applications : 11th international conference ; proceedings
Typed lambda calculi and applications : 10th international conference ; proceedings
Typed lambda calculi and applications : 8th international conference ; proceedings
Typed lambda calculi and applications : 9th international conference ; proceedings
Typed lambda calculi and applications : 5th international conference ; proceedings
Typed lambda calculi and applications : 6th international conference ; proceedings
Typed lambda calculi and applications : 4th international conference ; proceedings
Constructive domain models of typed lambda calculi
13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015)