The Omega Rule is $\mathbf{\Pi_{1}^{1}}$ -Complete in the λβ-Calculus

DOI10.1007/978-3-540-73228-0_14zbMath1215.03024arXiv0903.1374OpenAlexW2096348325MaRDI QIDQ3612630

Benedetto Intrigila, Richard Statman

Publication date: 10 March 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0903.1374

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Unnamed Item

This page was built for publication: The Omega Rule is $\mathbf{\Pi_{1}^{1}}$ -Complete in the λβ-Calculus