Published April 12, 2024
| Version thesis
Software
Open
alexarice/catt-strict: Thesis release
Authors/Creators
Description
Release accompanying the thesis "A type-theoretic approach to semistrict higher categories"
Files
alexarice/catt-strict-thesis.zip
Files
(39.0 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:9c22c9439150839a9ea1597206e158b4
|
39.0 kB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/alexarice/catt-strict/tree/thesis (URL)