Niels Voorneveld and Aliaume Lopez: Effectful Applicative Bisimilarity

Datum objave: 18. 4. 2017
Seminar za temelje matematike in teoretično računalništvo
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.