13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015)
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783939897873
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
LIPIcs - Leibniz International Proceedings in Informatics ; Volume 38
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Wadern
- (who)
-
Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
- (when)
-
2015
- Contributor
-
Altenkirch, Thorsten
- URN
-
urn:nbn:de:0030-drops-51752
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:55 AM 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.
Associated
- Altenkirch, Thorsten
- Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
Time of origin
- 2015
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 : 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
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
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 : 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
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
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 : 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
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