Single-set cubical categories and their formalisation with a proof assistant - Archive ouverte HAL
Article Dans Une Revue Journal of Automated Reasoning Année : 2024

Single-set cubical categories and their formalisation with a proof assistant

Domaines

Théorie et langage formel [cs.FL] Catégories et ensembles [math.CT]

Philippe Malbos  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-04734324

Soumis le : lundi 14 octobre 2024-00:19:45

Dernière modification le : vendredi 22 novembre 2024-17:02:02

Fichier non déposé

Dates et versions

hal-04734324 , version 1 (14-10-2024)

Identifiants

Citer

Philippe Malbos, Tanguy Massacrier, Georg Struth. Single-set cubical categories and their formalisation with a proof assistant. Journal of Automated Reasoning, 2024, 68 (4), pp.20. ⟨10.1007/s10817-024-09710-9⟩. ⟨hal-04734324⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-ST-ETIENNE CNRS ICJ UNIV-LYON1 INSA-LYON EC-LYON INSMI INSA-GROUPE UDL
18 Consultations
0 Téléchargements

Altmetric

Partager

More