A Logical View of Composition and Refinement

Gordon D. Plotkin
POPL(1991), pp. 323-332

Abstract

Research Areas