mathematical logic
- Review article:
The geometric semantics of algebraic quantum mechanics
- Research article:
Computability-theoretic learning complexity
- Review article:
Formalism and intuition in computability
- Research article:
On the computational content of convergence proofs via Banach limits
- Research article:
Rice sequences of relations
- Research article:
Universality probability of a prefix-free machine