Domain Theory and the Logic of Observable Properties (1987)

by Samson Abramsky
Citations:40 - 5 self