Similar Items: $text{TT}^{Box}_{mathcal C}$: a Family of Extensional Type Theories with Effectful Realizers of Continuity
- The extensional realizability model of continuous functionals and three weakly non-constructive classical theorems
- Kripke Semantics for Martin-Löf's Extensional Type Theory
- Random strings and tt-degrees of Turing complete C.E. sets
- On The Axioms Of $mathcal{M},mathcal{N}$-Adhesive Categories
- Extensional and Non-extensional Functions as Processes
- Degrees of extensionality in the theory of Böhm trees and Sallé's conjecture