1 results
A generalization of the Takeuti–Gandy interpretation
-
- Journal:
- Mathematical Structures in Computer Science / Volume 25 / Issue 5 / June 2015
- Published online by Cambridge University Press:
- 20 February 2015, pp. 1071-1099
-
- Article
-
- You have access
- Export citation