My publications and slides:

Publications:

Phd Dissertation

Investigation on the typing of equality in Type Systems

almost final copy of the manuscript
slides of the defense

Slides:

Back to main page.


CSS Valide ! Valid XHTML 1.0 Strict

Last modified Sept 27 2010