Quotienting the delay monad by weak bisimilarity

James Chapman, Tarmo Uustalu, Niccolò Veltri. Quotienting the delay monad by weak bisimilarity. Mathematical Structures in Computer Science, 29(1):67-92, 2019. [doi]

Authors

James Chapman 0001

Identified as James Chapman

Tarmo Uustalu

This author has not been identified. It may be one of the following persons: Look up 'Tarmo Uustalu' in Google

Niccolò Veltri

This author has not been identified. Look up 'Niccolò Veltri' in Google