My PhD manuscript
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
files
lang
rapports
www
GNUmakefile
LCKAM.ml
README
TODO
abstractEn.txp
abstractFr.txp
biblio.ml
calculus.txp
corrections.txt
corrections_original.txt
epigraph.txp
formatManuscrit.ml
implementation.txp
introduction.txp
logo_UG.png
logo_header.png
macros.txp
manuscript.pdf
manuscript.ps
manuscript.txp
manuscript_archived.pdf
manuscript_print.pdf
minibib.ml
minibib.mli
obsEquiv.txp
references.txp
remerciements.txp
resume.txp
semValRest.txp
subtyping.txp
typeSystem.txp

README

This repository contains the source files of my PhD manuscript. It was
written using the Patoline typesetting system.

Related links:
 - https://lepigre.fr/these/
 - https://github.com/rlepigre/pml
 - https://patoline.org