"Typed Lambda Calculi and Applications" ist eine umfassende Sammlung von Beiträgen, die die Proceedings der achten Internationalen Konferenz über Typed Lambda Calculi und deren Anwendungen (TLCA 2007) dokumentiert. Diese Konferenz fand vom 26. bis 28. Juni 2007 in Paris, Frankreich, statt und wurde in Verbindung mit der RTA (Rewriting Techniques and Applications) organisiert. Der Band enthält die Abstracts der eingeladenen Vorträge von renommierten Wissenschaftlern wie Frank Pfenning und Patrick Baillot sowie 25 ausgewählte Beiträge, die aus insgesamt 52 eingereichten Arbeiten hervorgegangen sind. Die Konferenz bot ein reichhaltiges Programm, das auch einen besonderen Abendvortrag von Henk Barendregt anlässlich des Diamond Anniversary des Lambda Calculus umfasste. Die sorgfältige Auswahl der Beiträge und die Organisation der Konferenz wurden von einem engagierten Programmkomitee und zahlreichen Gutachtern unterstützt, die zur Schaffung eines interessanten wissenschaftlichen Programms beigetragen haben. Dieses Buch ist eine wertvolle Ressource für Fachleute und Studierende im Bereich der Informatik, insbesondere für diejenigen, die sich mit den theoretischen Grundlagen und Anwendungen des Lambda Calculus beschäftigen.