Similar Items: Semiotic Engineering Theory for Human-Computer Integration: An Applicability and Usefulness Evaluation
- 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
- Strong negation in the theory of computable functionals TCF
- Normalisation by Evaluation for Type Theory, in Type Theory
- Complexity theory for spaces of integrable functions