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