MPRI

Fondements des systèmes de preuves

Gilles Dowek, Alexandre Miquel

Documents

Notes de cours (en anglais), Types Summer School'05:

TP

Annales