Willkommen, schön sind Sie da!
Logo Ex Libris

Typed Lambda Calculi and Applications

  • E-Book (pdf)
  • 245 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book constitutes the refereed proceedings of the 10th International Conference on Typed Lambda Calculi and Applications, TLC... Weiterlesen
E-Books ganz einfach mit der kostenlosen Ex Libris-Reader-App lesen. Hiererhalten Sie Ihren Download-Link.
CHF 80.90
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This book constitutes the refereed proceedings of the 10th International Conference on Typed Lambda Calculi and Applications, TLCA 2011, held in Novi Sad, Serbia, in June 2011 as part of RDP 2011, the 6th Federated Conference on Rewriting, Deduction, and Programming. The 15 revised full papers presented were carefully reviewed and selected from 44 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.

Produktinformationen

Titel: Typed Lambda Calculi and Applications
Untertitel: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings
Editor:
EAN: 9783642216916
ISBN: 978-3-642-21691-6
Format: E-Book (pdf)
Hersteller: Springer Berlin Heidelberg
Herausgeber: Springer-Verlag GmbH
Genre: IT & Internet
Veröffentlichung: 12.06.2011
Digitaler Kopierschutz: Wasserzeichen
Dateigrösse: 3.91 MB
Anzahl Seiten: 245
Jahr: 2015

Weitere Bände aus der Buchreihe "Theoretical Computer Science and General Issues"