Thomas Ehrhard (PPS)

Identifiers

• name variant Thomas Ehrhard (PPS) 0.60 · backfill

Papers (3)

1. Full abstraction for probabilistic PCF cs.LO · 2015 · author #1
2. A convenient differential category cs.LO · 2010 · author #2
3. A finiteness structure on resource terms cs.LO · 2010 · author #1

Mentions

• 1511.01272 #1 · backfill · confidence 0.70 Thomas Ehrhard (PPS)
• 1006.3140 #2 · backfill · confidence 0.70 Thomas Ehrhard (PPS)
• 1001.3219 #1 · backfill · confidence 0.70 Thomas Ehrhard (PPS)

Frequent Coauthors

• Christine Tasson (LMeASI) 1 shared papers
• Christine Tasson (PPS) 1 shared papers
• Michele Pagani (PPS) 1 shared papers
• Richard Blute 1 shared papers