Report - Introduction · Logical Methods in Computer Science Vol. 5 (2:6) 2009, pp. 1–21 Submitted Feb. 21, 2008 Published Apr. 27, 2009 THE OMEGA RULE IS Π1 1-COMPLETE IN THE λβ-CALCULUS

Please pass captcha verification before submit form