The S-replete construction (1995)

by J.M.E. Hyland , E. Moggi
Venue:In CTCS 55, pages 96 -- 116. Springer Lecture Notes in Computer Science 953
Citations:9 - 2 self