BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Petrisan:Daniela

Contributed to:

CSL 20152015
ICALP (2) 20152015
CSL-LICS 20142014

Wrote 3 papers:

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.