research
∙
03/16/2023
Kreisel's counter-example to full abstraction of the set-theoretical model of Goedel's system T
The set-theoretical model of Goedel's system T is not fully abstract. We...
share
research
∙
12/15/2022
Higher-order Games with Dependent Types
This paper generalises the notion of a higher-order game, by accounting ...
research
∙
12/06/2022
Type Theories with Universe Level Judgements
The aim of this paper is to refine and extend Voevodsky's draft "A unive...
research
∙
12/15/2020