35 citations · 58 across the 5 of their papers we have counts for
1 paper · 2 filters
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…