Similar Items: Applicable Mathematics in a Minimal Computational Theory of Sets
- The Complexity of Infinite Computations In Models of Set Theory
- Representations of measurable sets in computable measure theory
- A Normalizing Intuitionistic Set Theory with Inaccessible Sets
- Automata theory in nominal sets
- Semiotic Engineering Theory for Human-Computer Integration: An Applicability and Usefulness Evaluation
- Exhaustible sets in higher-type computation