Universit\`a Ca' Foscari Venezia)

Identifiers

• name variant Universit\`a Ca' Foscari Venezia) 0.60 · backfill

Papers (2)

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

Mentions

• 1303.7331 #6 · backfill · confidence 0.70 Universit\`a Ca' Foscari Venezia)
• 1303.7329 #6 · backfill · confidence 0.70 Universit\`a Ca' Foscari Venezia)

Frequent Coauthors

• Alberto Carraro (PPS 2 shared papers
• Antonino Salibra (DAIS 2 shared papers
• Universit\'e Paris Diderot) 2 shared papers
• Antonio Bucciarelli (PPS 1 shared papers
• Thomas Ehrhard (PPS 1 shared papers