Logique linéaire et paradigmes logiques du calcul 2006-2007 ( MPRI )
Enseignants: Roberto Di Cosmo,
Dale Miller (responsables),
Delia Kesner,
Patrick Baillot.
Plan du cours.
Logique linéaire et complexité , transparents de P. Baillot:
Séance du 29/11/2006: transparents.
Séance du 6/12/2006: transparents.
Séance du 13/12/2006: transparents.
Ensemble des transparents.
Sujets d'exercices
exercices ( .pdf) de l'examen de février 2006. un
exercice ( .pdf) (sur les
réseaux de preuves et SLL; extrait de l'examen du cours de Théorie
de la démonstration , avec O. Laurent, DEA de Logique de Paris 7,
avril 2004). un exercice avec correction ( .pdf) (sur le typage en LAL).