|
 
|
Raphaël Cauderlier
|
Post-doc Equipe SYS Parti depuis le 01/01/2018 Mail : raphael.cauderlier  inria.fr
https://who.rocq.inria.fr/Raphael.Cauderlier/ |
Publications
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,
