Preuves et Types
M2 MDFI
Sur cette page:
Notes de cours
Notes de cours
Introduction
λ-calcul pur
λ-calcul simplement typé
Correspondance de Curry-Howard
Calcul des séquents
Sémantique dénotationnelle
Dernière mise à jour le 5 décembre 2010.
XHTML
et
CSS
valides?