1 results
Coherence for bicategorical cartesian closed structure
-
- Journal:
- Mathematical Structures in Computer Science / Volume 31 / Issue 7 / August 2021
- Published online by Cambridge University Press:
- 18 October 2021, pp. 822-849
-
- Article
- Export citation