The Finitary Projection Model for Second Order Lambda Calculus and Solutions to Higher Order Domain Equations

Roberto M. Amadio, Kim B. Bruce, Giuseppe Longo

Browse the full LICS paper archive.