Daniela Petrisan (LIP)
Identifiers
- name variant Daniela Petrisan (LIP) 0.60 · backfill
Papers (1)
- Coinduction up to in a fibrational setting cs.LO · 2014 · author #2
Mentions
- 1401.6675 #2 · backfill · confidence 0.70 Daniela Petrisan (LIP)
Frequent Coauthors
- Damien Pous (LIP) 1 shared papers
- Filippo Bonchi (LIP) 1 shared papers
- Jurriaan Rot (LIACS) 1 shared papers