Richard Statman

Identifiers

• name variant Richard Statman 0.60 · backfill

Papers (2)

1. The Omega Rule is $\mathbf{\Pi_{1}^{1}}$-Complete in the $\lambda\beta$-Calculus cs.LO · 2009 · author #2
2. Solution of a Problem of Barendregt on Sensible lambda-Theories cs.LO · 2006 · author #2

Mentions

• 0903.1374 #2 · backfill · confidence 0.70 Richard Statman

Frequent Coauthors

• Benedetto Intrigila 2 shared papers