Typed Lambda Calculi and Applications

"Typed Lambda Calculi and Applications" ist eine umfassende Sammlung von Forschungsergebnissen, die aus den referierten Beiträgen der 11. Internationalen Konferenz über Typed Lambda Calculi und deren Anwendungen, TLCA 2013, hervorgegangen sind. Diese Konferenz fand im Juni 2013 in Eindhoven, Niederlande, statt und war Teil der 7. Föderierten Konferenz zu Themen wie Rewriting, Deduction und Programmierung. In diesem Band sind 15 überarbeitete Volltexte enthalten, die aus 41 eingereichten Arbeiten ausgewählt wurden. Die Beiträge decken ein breites Spektrum an aktuellen Themen im Bereich der typisierten Lambda-Kalküle ab, einschliesslich theoretischer und methodologischer Fragestellungen sowie praktischer Anwendungen in verschiedenen Kontexten. Die behandelten Themen reichen von Beweistheorie und Semantik bis hin zu Implementierung, Typen und Programmierung, was das Buch zu einer wertvollen Ressource für Forscher und Praktiker in diesem Bereich macht.