4 juin 2009

λ-calcul différentiel et logique classique : interactions calculatoires

TEL :: [tel-00194149, version 3]
http://tel.archives-ouvertes.fr/tel-00194149/en/
Cette thèse de théorie de la démonstration étudie les interactions entre le λ-calcul différentiel d'Ehrhard et Regnier d'un côté, et certaines émanations calculatoires de la logique classique (le λμ-calcul de Parigot et le λ-barre-μ-calcul de Herbelin) de l'autre. L'étude est initiée et guidée par la décomposition de ces calculs dans des extensions de la logique linéaire de Girard.
...

Aucun commentaire:

Pourquoi Linux ?

Pauvreté-précarité : Agissons pour ceux qui en ont besoin