Quotienting the delay monad by weak bisimilarity

vastutusandmed
James Chapman, Tarmo Uustalu, Niccolò Veltri
allikas
21st International Conference on Types for Proofs and Programs, TYPES 2015 : Tallinn, Estonia, 18-21 May 2015 : abstracts
ilmumiskoht
Tallinn
ilmumisaasta
leheküljed
p. 38-39
ISBN
978-9949-430-86-4
märkused
Bibliogr.: 3 ref
keel
inglise
Chapman, J., Uustalu, T., Veltri, N. Quotienting the delay monad by weak bisimilarity // 21st International Conference on Types for Proofs and Programs, TYPES 2015 : Tallinn, Estonia, 18-21 May 2015 : abstracts. Tallinn : Institute of Cybernetics at Tallinn University of Technology, 2015. p. 38-39.