A Syntactic Approach to Modularity (1993)

by P Cenciarelli, E Moggi
Venue:in Denotational Semantics, Proc. 5th. Biennial Meeting on Category Theory and Computer Science, CWI