Lifting Theorems for Kleisli Categories

Philip S. Mulry. Lifting Theorems for Kleisli Categories. In Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt, editors, Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings. Volume 802 of Lecture Notes in Computer Science, pages 304-319, Springer, 1993.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.