Alberto Carraro (PPS

Identifiers

• name variant Alberto Carraro (PPS 0.60 · backfill

Papers (3)

1. The stack calculus cs.LO · 2013 · author #1
2. The untyped stack calculus and Bohm's theorem cs.LO · 2013 · author #1
3. Minimal lambda-theories by ultraproducts cs.LO · 2013 · author #3

Mentions

• 1303.7331 #1 · backfill · confidence 0.70 Alberto Carraro (PPS
• 1303.7330 #1 · backfill · confidence 0.70 Alberto Carraro (PPS
• 1303.7329 #3 · backfill · confidence 0.70 Alberto Carraro (PPS

Frequent Coauthors

• Universit\'e Paris Diderot) 3 shared papers
• Antonino Salibra (DAIS 2 shared papers
• Universit\`a Ca' Foscari Venezia) 2 shared papers
• Antonio Bucciarelli (PPS 1 shared papers
• Thomas Ehrhard (PPS 1 shared papers