Games and full abstraction for PCF: preliminary announcement (1993)

Cached

Download Links

by Samson Abramsky , Radha Jagadeesan , Pasquale Malacaria
Citations:5 - 0 self