Konferenzschrift | Kongress
Typed lambda calculi and applications : proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540565178
3540565175
9780387565170
0387565175
- Dimensions
-
24 cm
- Extent
-
VIII, 432 S.
- Language
-
Englisch
- Notes
-
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 664
- Keyword
-
Typisierter Lambda-Kalkül
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, London, Paris, Tokyo, Hong Kong, Barcelona, Budapest
- (who)
-
Springer
- (when)
-
1993
- Contributor
-
Bezem, Marc
International Conference on Typed Lambda Calculi and Applications (1 : 1993 : Utrecht)
- 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, 2:25 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
- Bezem, Marc
- International Conference on Typed Lambda Calculi and Applications (1 : 1993 : Utrecht)
- Springer
Time of origin
- 1993
Other Objects (12)
Typed lambda calculi and applications : proceedings
Typed lambda calculi and applications : proceedings
Typed lambda calculi and applications : 5th international conference ; proceedings
Typed lambda calculi and applications : 10th international conference ; proceedings
Typed lambda calculi and applications : 4th international conference ; proceedings
Typed lambda calculi and applications : 9th international conference ; proceedings
Typed lambda calculi and applications : 6th international conference ; proceedings
Typed lambda calculi and applications : 11th international conference ; proceedings
Typed lambda calculi and applications : 8th 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 : 5th international conference ; proceedings
Typed lambda calculi and applications : 10th international conference ; proceedings
Typed lambda calculi and applications : 4th international conference ; proceedings
Typed lambda calculi and applications : 9th international conference ; proceedings
Typed lambda calculi and applications : 6th international conference ; proceedings
Typed lambda calculi and applications : 11th international conference ; proceedings
Typed lambda calculi and applications : 8th 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 : 5th international conference ; proceedings
Typed lambda calculi and applications : 10th international conference ; proceedings
Typed lambda calculi and applications : 4th international conference ; proceedings
Typed lambda calculi and applications : 9th international conference ; proceedings
Typed lambda calculi and applications : 6th international conference ; proceedings
Typed lambda calculi and applications : 11th international conference ; proceedings
Typed lambda calculi and applications : 8th international conference ; proceedings
Constructive domain models of typed lambda calculi
13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015)