Bruno Bernardo
I am a PhD candidate at
the
Computing Science Laboratory
at Ecole
Polytechnique. My advisors
are Bruno
Barras
and Gilles
Dowek.
Writings
- Bruno Bernardo.
Towards an Implicit Calculus of Inductive
Constructions. Emerging Trends section of
TPHOLs 2009. To appear.
[ pdf
draft ]
- Bruno Barras and Bruno Bernardo.
The Implicit Calculus of Constructions as a
Programming Language with Dependent Types.
FoSSaCS
2008. LNCS
4962
[ pdf
draft,
bibtex,
Springer
pdf ]
- Bruno Bernardo.
Un Calcul des Constructions avec Arguments
Implicites à Inférence de Type
Décidable. Master's thesis, 2006.
- Bruno Bernardo.
Construction of an Abstract Congruence Closure
for Terms with Binding Operators. Internship
report, Carnegie
Mellon University, under the supervision
of Frank
Pfenning, 2005.
Contact information
| Email: | (my first name).(my last
name)@lix.polytechnique.fr |
| Phone: | +33 (0)1 69 33 40
63 |
| Fax: | +33 (0)1 69 33 40 49 |
This document was last modified on:
