Daniel Leivant (Indiana University

Identifiers

• name variant Daniel Leivant (Indiana University 0.60 · backfill

Papers (1)

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

Mentions

• 1201.1119 #1 · backfill · confidence 0.70 Daniel Leivant (Indiana University

Frequent Coauthors

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