Author Search Results

Select result number 1
1

Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method

by Dal Lago, Ugo, Gavazzo, Francesco, Blain Levy, Paul
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

Get access
Get access
Get access
Get access

Conference Object
Select result number 2
2

Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method

by Dal Lago, Ugo, Gavazzo, Francesco, Blain Levy, Paul
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

Get access
Get access
Get access
Get access

Conference Object
Select result number 3
3

Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method

by Dal Lago, Ugo, Gavazzo, Francesco, Blain Levy, Paul
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

Get access
Get access
Get access
Get access

Conference Object
Select result number 4
4

Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method

by Dal Lago, Ugo, Gavazzo, Francesco, Blain Levy, Paul
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

Get access
Get access
Get access
Get access

Conference Object