## Modied realizability for TRDB, Algebraic Engineering, C: L: Nehaniv and M: Ito ed

- O Takaki, M Yasugi
- World Scientic Publishing
- 1999

In this paper, we extend a functional interpretation to transnite types. To be more precise, we dene a modied realizability interpretation of a constructive arithmetic with a certain inductive denition and bar-induction. The system is called TRDB. We also give an extension of TRDB, which is called S, and show that S is a complete system with respect to the… CONTINUE READING

### Presentations referencing similar topics