Reynald Affeldt, Cyril Cohen, Marie Kerjean, Assia Mahboubi, Damien Rouhling, et al.. Competing inheritance paths in dependent type theory: a case study in functional analysis.
IJCAR 2020 - International Joint Conference on Automated Reasoning, Jun 2020, Paris, France. pp.1-19.
⟨hal-02463336v2⟩