Bibliothèque

Petite compilation d'articles,cours,theses en lien avec mes travaux de recherche.



AuteurTitreSujet
Barthe CPS translations and applications : the cube and beyond
Berardi Stefano Pruning simply typed lambda terms format rtf
Boy de la tour Logique et formalisation du raisonnement (cours de DEA) cours de logique
Cardelli Luca An implementation of Fsub Systeme F avec sous typage
Cardelli Luca Subtyping recursive types Sous typage des types simples
Coquand Thierry Computationnal content of classical logic Cours
Coquand Thierry Course notes in typed lambda calculus Cours
Curien Introduction to linear logic and ludics, part 1 Introduction claire a la logique linéaire.
David A short proof of the strong normalization theorem of the simply typed lambda-mu calculus preuve syntaxique
Degroote CPS-translation of the lambda-mu calculus
Degroote An environment machine for the lambda-mu calculus
Dowek Demonstration automaytique en calcul des sequents
Dowek Theories des types Cours
Dowek Introduction à la théorie des langages de programmation Cours
Filliâtre Preuve de programmes impératifs en théorie des types These
Hirschkoff Daniel Mise en oeuvre de preuves de bisimulation These
Krivine Jean-Louis About classical logic and imperative programming article
Krivine Jean-Louis Dependent choice,'quote, and the clock article
Laurent Olivier Notes d'introduction aux polarités Cours
Parent Catherine Synthèse de preuves de programmes dans le calcul des constructions inductives These
Paulin Christine Extraction de programmes dans le calcul des constructions These
Pottier François Notes du cours de DEA "Typage et programmation" Cours
Raffalli Christophe System ST Towards a Type system for extraction AND Proofs of programs Article
Raffalli Christophe System ST beta-reduction and completeness Article