35 citations · 58 across the 5 of their papers we have counts for
1 paper · 1 filter
Martin Hyland
Kleisli bicategories are a natural environment in which the combinatorics involved in various notions of algebraic theory can be handled in a uniform way. The setting allows a clea…