Thomas Ehrhard (PPS

Identifiers

• name variant Thomas Ehrhard (PPS 0.60 · backfill

Papers (1)

1. The stack calculus cs.LO · 2013 · author #3

Mentions

• 1303.7331 #3 · backfill · confidence 0.70 Thomas Ehrhard (PPS

Frequent Coauthors

• Alberto Carraro (PPS 1 shared papers
• Antonino Salibra (DAIS 1 shared papers
• Universit\`a Ca' Foscari Venezia) 1 shared papers
• Universit\'e Paris Diderot) 1 shared papers