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
Communication Dans Un Congrès Année : 2020

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

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
ijcar (1).pdf (347.21 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Marie Kerjean  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-02463336

Soumis le : vendredi 17 avril 2020-18:19:10

Dernière modification le : jeudi 14 novembre 2024-16:42:02

Télécharger pour visualiser

Dates et versions

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

Identifiants

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, ⟨10.1007/978-3-030-51054-1_1⟩. ⟨hal-02463336v2⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INSERM UNIV-NANTES CNRS INRIA EC-NANTES ENGEES INSA-STRASBOURG UNAM INRIA2 INC-CNRS LS2N LS2N-GALLINETTE UNIV-COTEDAZUR SITE-ALSACE INSA-GROUPE NANTES-UNIVERSITE
2073 Consultations
1737 Téléchargements

Altmetric

Partager

More