The set-theoretical model of Goedel's system T is not fully abstract. We...
This paper generalises the notion of a higher-order game, by accounting ...
The aim of this paper is to refine and extend Voevodsky's draft "A unive...
We give a new syntax independent definition of the notion of a generaliz...