An MR-complete extension of extension of TRDB and its functional interpretation (2007)
Osamu Takaki, Mariko Yasugi, O Takaki, M Yasugi
In this paper, we extend a functional interpretation to transfinite types. To be more precise, we define a modified realizability interpretation of a constructive arithmetic with a certain inductive...