MSCS
2008
13 years 10 months ago
2008
MSCS
2006
13 years 10 months ago
2006
MSCS
2006
13 years 10 months ago
2006
We investigate natural systems of fundamental sequences for ordinals below the Howard Bachmann ordinal and study growth rates of the resulting slow growing hierarchies. We consider...
MSCS
2006
13 years 10 months ago
2006
We show that the extensional ordering of the sequential functionals of pure type 3, e.g. as defined via game semantics [2, 4], is not cpo-enriched. ws that this model does not equ...
MSCS
2006
13 years 10 months ago
2006
Abstract. In the paper we introduce and study the uniform regular enumerations for arbitrary recursive ordinals. As an application of the technique we obtain a uniform generalizati...
MSCS
2006
13 years 10 months ago
2006
Modified bar recursion has been used to give a realizability interpretation of the classical axioms of countable and dependent choice. In this paper we survey the main results con...
MSCS
2006
13 years 10 months ago
2006
MSCS
2006
13 years 10 months ago
2006
We present a dynamic logic for reasoning about information flow in quantum programs. In particular, we give a finitary syntax and a relational semantics for a Logic of Quantum Pro...
MSCS
2006
13 years 10 months ago
2006
MSCS
2006
13 years 10 months ago
2006
We present a Cartesian closed category ELoc of equilocales, which contains the category Loc of locales as a reflective full subcategory. The embedding of Loc into ELoc preserves p...