Type theoretic semantics for programming languages (although the cover page is in French, the contents are in English).
Presentation: Tex | Postscript | PDF
Codes : Coq file 1 | Coq file 2 | OCaml file
My résumé : Tex | Postscript | PDF
Her résumé : Tex | Postscript | PDF
Photos from our marriage , few more and we infront of the Tajmahal .
My homepage in Angelfire