Event Domains‚ Stable Functions and Proof Nets
S. Abramsky
Details
| Book Title |
Plotkin Festschrift |
| Pages |
33−67 |
| Series |
Electronic Notes in Theoretical Computer Science |
| Volume |
172 |
| Year |
2007 |
Links
Related pages
|
People |