research
∙
09/07/2023
On Statman's Finite Completeness Theorem
We give a complete self-contained proof of Statman's finite completeness...
share
research
∙
05/05/2021
Uniqueness typing for intersection types
Working in a variant of the intersection type assignment system of Coppo...
research
∙
01/26/2021
Products in a Category with Only One Object
We consider certain decision problems for the free model of the theory o...
research
∙
09/19/2018