Concepedia

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

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

Logic in Computer Science · 1986 · 50 citations · 0 references

Concepts