About DML-CZ | FAQ | Conditions of Use | Math Archives | Contact Us

Previous | Up | Next

Author: Curien, Pierre-Louis

Curien, Pierre-Louis; Ho Thanh, Cédric; Mimram, Samuel: Type theoretical approaches to opetopes. (English). Higher Structures, vol. 6 (2022), issue 1, pp. 80-181

Browse
- Collections
- Titles
- Authors
- MSC

Partner of