Skip to main content

Domain Theory and the Logic of Observable Properties

Samson Abramsky

Institution
University of London
Year
1987