Domains and Logics, extended abstract (1989)

by D Scott
Venue:In Logic in Computer Science