![](/img/cover-not-exists.png)
On the elimination of some higher type quantifiers
IKEDA, YASUWO, TOMITA, KOHJI, HOSONO, CHIHARUVolume:
11
Language:
english
Journal:
Mathematical Structures in Computer Science
DOI:
10.1017/s0960129501003401
Date:
December, 2001
File:
PDF, 324 KB
english, 2001