Daniel J. Dougherty, Ramesh Subrahmanyam. Equality between Functionals in the Presence of Coproducts. In Proceedings, Tenth Annual IEEE Symposium on Logic in Computer Science, 26-29 June 1995, San Diego, California, USA. pages 282-291, IEEE Computer Society, 1995.
Abstract is missing.