Cubical Categories. - Georg Struth; Tanguy Massacrier (Arch. Formal Proofs, 2024)

Single-Set Cubical Categories and Their Formalisation with a Proof Assistant. - Philippe Malbos; Tanguy Massacrier; Georg Struth (J. Autom. Reason., 2024)