Full Abstraction for PCF (Extended Abstract)
S. Abramsky‚ R. Jagadeesan and P. Malacaria
Details
| Book Title |
Theoretical Aspects of Computer Software |
| Editor |
M. Hagiya and J. C. Mitchell |
| Pages |
1−15 |
| Publisher |
Springer−Verlag |
| Year |
1994 |
Links
Related pages
|
People |