Ioana Cristescu (LIP)

Identifiers

• name variant Ioana Cristescu (LIP) 0.60 · backfill

Papers (1)

1. Termination in a Pi-calculus with Subtyping cs.LO · 2011 · author #1

Mentions

• 1107.5722 #1 · backfill · confidence 0.70 Ioana Cristescu (LIP)

Frequent Coauthors

• Daniel Hirschkoff (LIP) 1 shared papers