Accueil
Connexion
DENIF –
Documents d’Enseignement Numériques en Informatique Fondamentale
Thèmes
Cursus
Enseignants
Logique linéaire et paradigmes logiques du calcul
Thème :
Logique & Preuve
–
Cursus :
MPRI - M2
2006 - 2007
Interprétation calculatoire des séquents
Delia Kesner
Slides : Introduction et vocabulaire
Slides : Lambda et Lambdax
Slides : Lambdalxr
Slides : SC Calculus
Slides : MJ Calculus
Notes sur le calcul Lambdax
Article sur le calcul Lambdalxr
Systèmes syntaxiques pour la logique intuitionniste et langages associés