Home > News > Niels Voorneveld and Aliaume Lopez: Effectful Applicative Bisimilarity

Niels Voorneveld and Aliaume Lopez: Effectful Applicative Bisimilarity

Date: 18. 4. 2017
Source: Mathematics and theoretical computing seminar
Torek, 18. 4. 2017, od 12h do 14h, Plemljev seminar, Jadranska 19
Niels and Aliaume will give an outline of the paper "Effectful Applicative Bisimilarity: Monads, Relators and the Howe's Method", by Dal Lago, Gavazo and Levy, which has been accepted at LICS 2017.