Algebraic completeness and compactness in an enriched setting (1995)

by G D Plotkin
Venue:Invited lecture given at the Workshop on Logic, Domains, and Programming Languages