Domain Theory and the Logic of Observable Properties (1987)

by Samson Abramsky
Citations:39 - 5 self