Christine Tasson

Identifiers

• name variant Christine Tasson 0.60 · backfill

Papers (2)

1. Strong Normalizability as a Finiteness Structure via the Taylor Expansion of {\lambda}-terms cs.LO · 2016 · author #2
2. Distributed Computability in Byzantine Asynchronous Systems cs.DC · 2013 · author #2

Mentions

• 1302.6224 #2 · backfill · confidence 0.70 Christine Tasson

Frequent Coauthors

• Hammurabi Mendes 1 shared papers
• Lionel Vaux 1 shared papers
• Maurice Herlihy 1 shared papers
• Michele Pagani 1 shared papers