Semantic Models for Second-Order Lambda Calculus

John C. Mitchell

Browse the full FOCS paper archive.