Jump to Content

A Logical View of Composition and Refinement

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

Abstract

Research Areas