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