Doctoral Dissertation Award
United States – 1986
CITATION

For his dissertation "Full Abstraction and Semantic Equivalence."