The S-Replete Constuction

J. M. E. Hyland, Eugenio Moggi. The S-Replete Constuction. In David H. Pitt, David E. Rydeheard, Peter Johnstone, editors, Category Theory and Computer Science, 6th International Conference, CTCS 95, Cambridge, UK, August 7-11, 1995, Proceedings. Volume 953 of Lecture Notes in Computer Science, pages 96-116, Springer, 1995.

Abstract

Abstract is missing.