Benedetto Intrigila

Identifiers

• name variant Benedetto Intrigila 0.60 · backfill

Papers (4)

1. On some counting problems for semi-linear sets cs.DM · 2009 · author #2
2. The Omega Rule is $\mathbf{\Pi_{1}^{1}}$-Complete in the $\lambda\beta$-Calculus cs.LO · 2009 · author #1
3. The Parikh functions of sparse context-free languages are quasi-polynomials cs.DM · 2008 · author #2
4. Solution of a Problem of Barendregt on Sensible lambda-Theories cs.LO · 2006 · author #1

Mentions

• 0907.3005 #2 · backfill · confidence 0.70 Benedetto Intrigila
• 0903.1374 #1 · backfill · confidence 0.70 Benedetto Intrigila
• 0807.0718 #2 · backfill · confidence 0.70 Benedetto Intrigila

Frequent Coauthors

• Flavio D'Alessandro 2 shared papers
• Richard Statman 2 shared papers
• Stefano Varricchio 2 shared papers