Quotienting the delay monad by weak bisimilarity
Chapman, James
;
Uustalu, Tarmo
;
Veltri, Niccolo
21st International Conference on Types for Proofs and Programs, TYPES 2015 : Tallinn, Estonia, 18-21 May 2015 : abstracts
2015
/
p. 38-39
Quotienting the delay monad by weak bisimilarity
Chapman, James
;
Uustalu, Tarmo
;
Veltri, Niccolo
Mathematical structures in computer science
2019
/
p. 67-92
https://doi.org/10.1017/s0960129517000184
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS