Competing inheritance paths in dependent type theory: a case study in functional analysis - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-02463336 , version 2

Citer

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⟩
1791 Consultations
1611 Téléchargements

Partager

Gmail Facebook X LinkedIn More