Skip to main content

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