We give a complete self-contained proof of Statman's finite completeness...
Working in a variant of the intersection type assignment system of Coppo...
We consider certain decision problems for the free model of the theory o...
We are interested in how much of the structure of a strongly normalizabl...