Skip to Main content Skip to Navigation
Conference papers

Competing inheritance paths in dependent type theory: a case study in functional analysis

Document type :
Conference papers
Complete list of metadatas

Cited literature [33 references]  Display  Hide  Download

https://hal.inria.fr/hal-02463336
Contributor : Marie Kerjean <>
Submitted on : Friday, April 17, 2020 - 6:19:10 PM
Last modification on : Wednesday, June 24, 2020 - 4:19:56 PM

File

ijcar (1).pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02463336, version 2

Citation

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⟩

Share

Metrics

Record views

347

Files downloads

507