1 results
On the elimination of some higher type quantifiers
-
- Journal:
- Mathematical Structures in Computer Science / Volume 11 / Issue 6 / December 2001
- Published online by Cambridge University Press:
- 09 January 2002, pp. 771-779
-
- Article
- Export citation