Case Study on Displayed Monoidal Categories
Date:
A conference talk presented at TYPES 2022.
The extended abstract can be found here. The slides can be found here.
Date:
A conference talk presented at TYPES 2022.
The extended abstract can be found here. The slides can be found here.