Travelled to:1 × Austria
1 × Germany
1 × Japan
Collaborated with:M.J.Gabbay D.R.Ghica D.Kozen K.Mamouras A.Silva F.Bonchi D.Pous J.Rot
Talks about:nomin (2) interleav (1) coalgebra (1) techniqu (1) coinduct (1) variabl (1) fibrat (1) scope (1) kleen (1) nest (1)
Person: Daniela Petrisan
DBLP: Petrisan:Daniela
Contributed to:
2015
2015
2014Wrote 3 papers:
- CSL-2015-GabbayGP
- Leaving the Nest: Nominal Techniques for Variables with Interleaving Scopes (MJG, DRG, DP), pp. 374–389.
- ICALP-v2-2015-KozenMP0 #algebra
- Nominal Kleene Coalgebra (DK, KM, DP, AS), pp. 286–298.
- LICS-CSL-2014-BonchiPPR #induction
- Coinduction up-to in a fibrational setting (FB, DP, DP, JR), p. 9.