Some fundamental algebraic tools for the semantics of computation: Part 3. indexed categories

1991/12/01 by Andrzej Tarlecki, Rod M. Burstall, Joseph A. Goguen · 1 citation

paper · doi:10.1016/0304-3975(91)90085-g

Cited by

• Cartesian Linearly Distributive Categories: Revisited