LORIA Nancy)

Identifiers

• name variant LORIA Nancy) 0.60 · backfill

Papers (1)

1. Implicit complexity for coinductive data: a characterization of corecurrence cs.CC · 2012 · author #2

Mentions

• 1201.1119 #2 · backfill · confidence 0.70 LORIA Nancy)

Frequent Coauthors

• Daniel Leivant (Indiana University 1 shared papers
• Ludwig-Maximilians-Universit\"at M\"unchen) 1 shared papers
• Ramyaa Ramyaa (Indiana University 1 shared papers