Quotienting the delay monad by weak bisimilarity
author
Chapman, James
Uustalu, Tarmo
Veltri, Niccolo
statement of authorship
James Chapman, Tarmo Uustalu, Niccolò Veltri
source
21st International Conference on Types for Proofs and Programs, TYPES 2015 : Tallinn, Estonia, 18-21 May 2015 : abstracts
location of publication
Tallinn
publisher
Institute of Cybernetics at Tallinn University of Technology
year of publication
2015
pages
p. 38-39
subject term
arvutiteadus
loogiline programmeerimine
ISBN
978-9949-430-86-4
notes
Bibliogr.: 3 ref
TTÜ department
TTÜ Küberneetika Instituut
arvutiteaduse instituut
language
inglise