|
 
|
Ali Assaf
|
Doctorant(e) Laboratoire: INRIA (FR) |
Publications
2015
- [AB15] A. Assaf, G. Burel. "Translating HOL to Dedukti", Fourth Workshop on Proof eXchange for Theorem Proving, August 2015, pp.--, Series EPTCS, Berlin, Germany,
Conférence Internationale avec comité de lecture
2014
- [CAD14] R. Cauderlier, A. Assaf, C. Dubois. "Objects and subtyping in the lambda-Pi-calculus modulo,", TYPES 2014, May 2014, pp.2, Paris, France,
