Similar Items: Realizability algebras: a program to well order R
- Realizability algebras II : new models of ZF + DC
- Typed realizability for first-order classical analysis
- Modularizing the Elimination of r=0 in Kleene Algebra
- On Free $omega$-Continuous and Regular Ordered Algebras
- Cyclic Datatypes modulo Bisimulation based on Second-Order Algebraic Theories
- Stateful Realizers for Nonstandard Analysis