research
∙
04/21/2023
Strong pseudomonads and premonoidal bicategories
Strong monads and premonoidal categories play a central role in clarifyi...
share
research
∙
07/01/2020
Cartesian closed bicategories: type theory and coherence
In this thesis I lift the Curry–Howard–Lambek correspondence between the...
research
∙
04/13/2019
