Liens vers les maths constructives

Les titres en rouge sont des liens vers des fichiers postscript ou pdf. Les titres en bleu sont juste des titres. Les bleus soulignés sont des fichiers html directement visibles en cliquant dessus.

Gens

Pages thématiques

Difficile à trouver

Plaidoyer pour l'algèbre constructive

avec Thierry Coquand.

Mes publications

Livres, notes de cours.

Articles