Antonino Salibra (DAIS

Identifiers

• name variant Antonino Salibra (DAIS 0.60 · backfill

Papers (2)

1. The stack calculus cs.LO · 2013 · author #5
2. Minimal lambda-theories by ultraproducts cs.LO · 2013 · author #5

Mentions

• 1303.7331 #5 · backfill · confidence 0.70 Antonino Salibra (DAIS
• 1303.7329 #5 · backfill · confidence 0.70 Antonino Salibra (DAIS

Frequent Coauthors

• Alberto Carraro (PPS 2 shared papers
• Universit\`a Ca' Foscari Venezia) 2 shared papers
• Universit\'e Paris Diderot) 2 shared papers
• Antonio Bucciarelli (PPS 1 shared papers
• Thomas Ehrhard (PPS 1 shared papers