A Semantic Characterization of Full Abstraction for Typed Lambda Calculi

Ketan Mulmuley

Browse the full FOCS paper archive.