Treffer: Typed Lambda Calculi and Applications
Titel:
Typed Lambda Calculi and Applications : 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings / edited by Pierre-Louis Curien
Beteiligt:
Ausgabe:
1st ed. 2009
Veröffentlicht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XIII, 417 Seiten)
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Theoretical Computer Science and General Issues, ISSN 2512-2029 ; 5608
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Typed Lambda Calculi and Applications. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - ISBN 9783642022722
RVK-Notation:
Schlagworte:
ISBN:
9783642022739 ; 3642022731 ; 978--364202272-2 (Sekundärausgabe) ; 978--364202274-6 (Sekundärausgabe)
DOI:
10.1007/978-3-642-02273-9