Full Abstraction for PCF (1996)

by Samson Abramsky , Radha Jagadeesan , Pasquale Malacaria
Venue:Information and Computation
Citations:193 - 14 self