Full Abstraction and Semantic Equivalence (1986)

by K Mulmuley