Domain Theory and the Logic of Observable Properties (1987)

by Samson Abramsky
Citations:41 - 5 self