Measurable cones, with linear and measurable functions as morphisms, are...
We prove the following completeness result about classical realizability...
We describe a mathematical structure that can give extensional denotatio...
We show how the language of Krivine's classical realizability may be use...