Crossmark

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

Crossref DOI link: https://doi.org/10.1007/s10817-024-09710-9

Published Online: 2024-09-12

Published Print: 2024-12

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Malbos, Philippe

Massacrier, Tanguy

Struth, Georg
License Information

Text and Data Mining valid from 2024-09-12

Version of Record valid from 2024-09-12
More Information

Article History

Received: 5 March 2024

Accepted: 31 July 2024

First Online: 12 September 2024