1 results
A realizability interpretation of Church's simple theory of types
-
- Journal:
- Mathematical Structures in Computer Science / Volume 27 / Issue 8 / December 2017
- Published online by Cambridge University Press:
- 22 July 2016, pp. 1364-1385
-
- Article
- Export citation