On the elimination of some higher type quantifiers
From MaRDI portal
Publication:4534183
DOI10.1017/S0960129501003401zbMath0994.68023OpenAlexW2078316939MaRDI QIDQ4534183
Yasuwo Ikeda, Kohji Tomita, Chiharu Hosono
Publication date: 10 October 2002
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129501003401
This page was built for publication: On the elimination of some higher type quantifiers