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