A syntactic approach to modularity in denotational semantics (1993)

by Pietro Cenciarelli, Eugenio Moggi
Venue:In Proceedings of the 5th Biennial Meeting on Category Theory and Computer Science, CTCS 93, CWI Technical Report