research
∙
05/05/2021
Uniqueness typing for intersection types
Working in a variant of the intersection type assignment system of Coppo...
share
research
∙
10/04/2018
On (weak) fpc generators
Corrado Böhm once observed that if Y is any fixed point combinator (fpc)...
research
∙
07/06/2018
On local presentability of T/A
We prove that if A is a locally λ-presentable category and T : A→A is a ...
research
∙
02/20/2018
