Full Abstraction for PCF
S. Abramsky‚ R. Jagadeesan and P. Malacaria
Details
| Book Title |
Information and Computation |
| Pages |
409−470 |
| Volume |
163 |
| Year |
2000 |
Links
Related pages
|
People |