Typed Lambda Calculi and Applications

"Calculs Lambda Typés et Applications" est une collection complète de résultats de recherche issus des contributions référées de la 11e Conférence Internationale sur les Calculs Lambda Typés et leurs Applications, TLCA 2013. Cette conférence s'est tenue en juin 2013 à Eindhoven, aux Pays-Bas, et faisait partie de la 7e Conférence Fédérée sur des thèmes tels que la Réécriture, la Déduction et la Programmation. Ce volume contient 15 textes complets révisés, sélectionnés parmi 41 travaux soumis. Les contributions couvrent un large éventail de sujets actuels dans le domaine des calculs lambda typés, y compris des questions théoriques et méthodologiques ainsi que des applications pratiques dans divers contextes. Les thèmes abordés vont de la théorie des preuves et de la sémantique à l'implémentation, aux types et à la programmation, ce qui fait de ce livre une ressource précieuse pour les chercheurs et les praticiens dans ce domaine.