Full Abstraction for PCF (1996)

by Samson Abramsky , Radha Jagadeesan , Pasquale Malacaria
Venue:INFORMATION AND COMPUTATION
Citations:201 - 15 self