Propositions de stage DEA 2003--2004
Luigi Santocanale, encadrant
Algorithmique et algèbre des jeux de parité
.
Jeux de parité et types (co)inductifs
.
Les ordinaux dans la théorie classique de la démonstration
.
Dernière modification : Thu Nov 20 11:56:03 CET 2003