Similar Items: A Normalizing Intuitionistic Set Theory with Inaccessible Sets
- Interpretation of Inaccessible Sets in Martin-Löf Type Theory with One Mahlo Universe
- Automata theory in nominal sets
- The Complexity of Infinite Computations In Models of Set Theory
- Representations of measurable sets in computable measure theory
- Categorical Proof Theory of Co-Intuitionistic Linear Logic
- Intuitionistic Layered Graph Logic: Semantics and Proof Theory