Axioms for Definability and Full Completeness
S. Abramsky
Details
| Book Title |
Essays in Honour of Robin Milner |
| Editor |
G. Plotkin and M. Tofte and C. Stirling |
| Pages |
55−75 |
| Publisher |
MIT Press |
| Year |
1999 |
Links
Related pages
|
People |