Christine Tasson (PPS)

Identifiers

• name variant Christine Tasson (PPS) 0.60 · backfill

Papers (4)

1. Full abstraction for probabilistic PCF cs.LO · 2015 · author #3
2. Mackey-complete spaces and power series -- A topological model of Differential Linear Logic cs.LO · 2015 · author #2
3. Transport of finiteness structures and applications cs.LO · 2010 · author #1
4. Algebraic totality, towards completeness cs.LO · 2009 · author #1

Mentions

• 1511.01272 #3 · backfill · confidence 0.70 Christine Tasson (PPS)
• 1507.03262 #2 · backfill · confidence 0.70 Christine Tasson (PPS)
• 1004.3655 #1 · backfill · confidence 0.70 Christine Tasson (PPS)
• 0912.2349 #1 · backfill · confidence 0.70 Christine Tasson (PPS)

Frequent Coauthors

• Lionel Vaux (IML) 1 shared papers
• Marie Kerjean (PPS) 1 shared papers
• Michele Pagani (PPS) 1 shared papers
• Thomas Ehrhard (PPS) 1 shared papers