Quotienting the delay monad by weak bisimilarity
autor
Chapman, James
Uustalu, Tarmo
Veltri, Niccolo
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
kirjastus/väljaandja
Institute of Cybernetics at Tallinn University of Technology
ilmumisaasta
2015
leheküljed
p. 38-39
märksõna
arvutiteadus
loogiline programmeerimine
ISBN
978-9949-430-86-4
märkused
Bibliogr.: 3 ref
TTÜ struktuuriüksus
TTÜ Küberneetika Instituut
arvutiteaduse instituut
keel
inglise