The S-replete construction (1995)

by J M E Hyland, E Moggi
Venue:In Category Theory in Computer Science