Dieses Ergebnis aus Springer Nature Journals kann Gästen nicht angezeigt werden. Login für vollen Zugriff.

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

Title:	Single-Set Cubical Categories and Their Formalisation with a Proof Assistant
Authors:	Malbos, Philippe^{Aff1, IDs10817024097109_cor1}; Massacrier, Tanguy^Aff1; Struth, Georg^Aff2
Source:	Journal of Automated Reasoning. 68(4)
Database:	Springer Nature Journals