Domain Theory in Logical Form (1987)

by Samson Abramsky
Venue:Proceedings, Annual Symposium on Logic in Computer Science
Citations:230 - 10 self