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 |