Full Abstraction for PCF
โ
Samson Abramsky; Radha Jagadeesan; Pasquale Malacaria
๐
Article
๐
2000
๐
Elsevier Science
๐
English
โ 509 KB