Travelled to:1 × Austria
Collaborated with:D.Sangiorgi M.Bernardo
Talks about:higher (2) order (2) probabilist (1) environment (1) discrimin (1) interact (1) languag (1) bisimul (1) passiv (1) power (1)
Person: Valeria Vignudelli
DBLP: Vignudelli:Valeria
Contributed to:
2014
2016Wrote 2 papers:
- LICS-CSL-2014-BernardoSV #higher-order #interactive #on the #power of
- On the discriminating power of passivation and higher-order interaction (MB, DS, VV), p. 10.
- POPL-2016-SangiorgiV #bisimulation #higher-order #probability
- Environmental bisimulations for probabilistic higher-order languages (DS, VV), pp. 595–607.