Bruno Barras' habilitation thesis page

This page contains links to the manuscript and various information related to my habilitation thesis.

Important dates:


Latest version (V1 - 05/17):


Compressed tar of the sources, compilable with Coq 8.4 beta2: Here is a link to the html pages of sources:
Back to my homepage
Last modification: