Full Abstraction and Semantic Equivalence (1987)

by K Mulmuley