Coherence for monoidal and symmetric monoidal groupoids in homotopy type theory
Stefano Piceghello
Bok Engelsk 2021 · Doktoravhandlinger((uri)https://id.nb.no/vocabulary/ntsf/61)
Originaltittel | |
---|---|
Omfang | 1 bind
|
Emner | |
Sjanger | |
ISBN | 9788230867723
|
Originaltittel | |
---|---|
Omfang | 1 bind
|
Emner | |
Sjanger | |
ISBN | 9788230867723
|