Full Text Available
Note: Clicking the button above will open the full text document at the original institutional repository in a new window.
$text{TT}^{Box}_{mathcal C}$: a Family of Extensional Type Theories with Effectful Realizers of Continuity
Saved in:
| Published in: | Logical Methods in Computer Science |
|---|---|
| Format: | Online Article RSS Article |
| Published: |
2024
|
| Subjects: | |
| Tags: |
No Tags, Be the first to tag this record!
|
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