TY  - RPRT
TI  - The Omega Rule is $\mathbf{Π_{1}^{1}}$-Complete in the $λβ$-Calculus
AU  - Benedetto Intrigila
AU  - Richard Statman
PY  - 2009
DO  - 10.2168/lmcs-5(2:6)2009
UR  - https://arxiv.org/abs/0903.1374
ID  - 0903.1374
ER  -