Typed Lambda Calculi and Applications / Lecture Notes in Computer Science Bd.7941 (PDF)
11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings
(Sprache: Englisch)
This book constitutes the refereed proceedings of the 11th International Conference on Typed Lambda Calculi and Applications, TLCA 2013, held in Eindhoven, The Netherlands, in June 2013 as part of RDP 2013, the 7th Federated Conference on Rewriting,...
sofort als Download lieferbar
Printausgabe 50.60 €
eBook (pdf) -2%
49.49 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Typed Lambda Calculi and Applications / Lecture Notes in Computer Science Bd.7941 (PDF)“
This book constitutes the refereed proceedings of the 11th International Conference on Typed Lambda Calculi and Applications, TLCA 2013, held in Eindhoven, The Netherlands, in June 2013 as part of RDP 2013, the 7th Federated Conference on Rewriting, Deduction, and Programming, together with the 24th International Conference on Rewriting Techniques and Applications, RTA 2013, and several related events.
The 15 revised full papers presented were carefully reviewed and selected from 41 submissions. The papers provide prevailing research results on all current aspects of typed lambda calculi, ranging from theoretical and methodological issues to applications in various contexts addressing a wide variety of topics such as proof-theory, semantics, implementation, types, and programming.
The 15 revised full papers presented were carefully reviewed and selected from 41 submissions. The papers provide prevailing research results on all current aspects of typed lambda calculi, ranging from theoretical and methodological issues to applications in various contexts addressing a wide variety of topics such as proof-theory, semantics, implementation, types, and programming.
Bibliographische Angaben
- 2013, 2013, 251 Seiten, Englisch
- Herausgegeben: Masahito Hasegawa
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3642389465
- ISBN-13: 9783642389467
- Erscheinungsdatum: 27.05.2013
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 4.23 MB
- Mit Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kopierschutz
Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie lesen. Zum Lesen auf sonstigen eReadern und am PC benötigen Sie eine Adobe ID.
Kommentar zu "Typed Lambda Calculi and Applications / Lecture Notes in Computer Science Bd.7941"
Schreiben Sie einen Kommentar zu "Typed Lambda Calculi and Applications / Lecture Notes in Computer Science Bd.7941".
Kommentar verfassen