Competing inheritance paths in dependent type theory: a case study in functional analysis - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year :

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

Fichier principal
Vignette du fichier
ijcar (1).pdf (347.21 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-02463336 , version 1 (31-01-2020)
hal-02463336 , version 2 (17-04-2020)

Identifiers

  • HAL Id : hal-02463336 , version 2

Cite

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⟩
1584 View
1502 Download

Share

Gmail Facebook Twitter LinkedIn More