Domain Theory in Logical Form
S. Abramsky
Book Title
Symposium on Logic in Computer Science
Pages
47−53
Publisher
Computer Society Press of the IEEE
Year
1987
S. Abramsky