Konferenzschrift | Kongress
Typed lambda calculi and applications : 9th international conference ; proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783642022722
- Dimensions
-
24 cm
- Extent
-
XIII, 415 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; 5608
- Keyword
-
Typisierter Lambda-Kalkül
Computational logic
Kategorientheorie
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, NY
- (who)
-
Springer
- (when)
-
2009
- Contributor
- 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:17 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
- Curien, Pierre-Louis
- TLCA (9 : 2009 : Brasília)
- Springer
Time of origin
- 2009
Other Objects (12)
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 : 5th international conference ; proceedings
Typed lambda calculi and applications : 6th international conference ; proceedings
Typed lambda calculi and applications : 4th 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
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 : 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 : 5th international conference ; proceedings
Typed lambda calculi and applications : 6th international conference ; proceedings
Typed lambda calculi and applications : 4th 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
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 : 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 : 5th international conference ; proceedings
Typed lambda calculi and applications : 6th international conference ; proceedings
Typed lambda calculi and applications : 4th 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
13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015)