View in EDS

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

Saved in:
Bibliographic Details
Title: Single-Set Cubical Categories and Their Formalisation with a Proof Assistant.
Authors: Malbos, Philippe1, malbos@math.univ-lyon1.fr, Massacrier, Tanguy1, Struth, Georg2
Source: Journal of Automated Reasoning; Dec2024, Vol. 68 Issue 4, p1-32, 32p
Database: Applied Science & Technology Source
Be the first to leave a comment!
You must be logged in first