Preuves et Types

M2 MDFI

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?