25 citations · 102 across the 22 of their papers we have counts for
1 paper · 2 filters
Daniel Marsden
In work of Fokkinga and Meertens a calculational approach to category theory is developed. The scheme has many merits, but sacrifices useful type information in the move to an equa…