Bruno Barras' habilitation thesis page
This page contains links to the manuscript and various information related to my habilitation thesis.
Important dates:
- Department Scientific Committee: June 20th,
- University Evaluation Committee: June 25th,
- University Scientific Committee: July 2nd,
- Defense: ?
Manuscript
Latest version (V1 - 05/17):
- pdf alone (approx. 1.2Mb), .pdf.gz (approx. 0.8Mb).
With hyper-links to sources on my homepage.
- tgz (pdf+html) (approx. 2Mb)
Untar (⇨ pdf + html dir) and open the pdf. Cyan links open local html pages in a browser.
Sources
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: