TY  - JOUR

T1  - Single-Set Cubical Categories and Their Formalisation with a Proof Assistant

JO  - Journal of Automated Reasoning

UR  - http://dx.doi.org/10.1007/s10817-024-09710-9

PY  - 2024/09/12

AU  - Malbos P

AU  - Massacrier T

AU  - Struth G

ED  - 

DO  - DOI: 10.1007/s10817-024-09710-9

PB  - Springer Science and Business Media LLC

VL  - 68

IS  - 4

Y2  - 2024/12/25

ER  -