Algebraic compactness in an enriched stetting (1995)

by G D Plotkin
Venue:Invited talk, Workshop on Logic, Domains and Programming Languages