Interaction morphisms [extended abstract]
author
statement of authorship
Shin-ya Katsumata, Tarmo Uustalu
source
CoALP-Ty'16 : pre-proceedings of the Workshop on Coalgebra, Horn Clause Logic Programming and Types : November 28-29, 2016, Edinburgh, UK
location of publication
[Edinburgh]
publisher
[Heriot-Watt University]
year of publication
pages
p. 7-8
conference name, date
Workshop on Coalgebra, Horn Clause Logic Programming and Types, November 28-29, 2016
conference location
Edinburgh, Scotland
subject term
notes
Bibliogr.: 4 ref
TTÜ department
language
inglise
Katsumata, S., Uustalu, T. Interaction morphisms [extended abstract] // CoALP-Ty'16 : pre-proceedings of the Workshop on Coalgebra, Horn Clause Logic Programming and Types : November 28-29, 2016, Edinburgh, UK. [Edinburgh] : [Heriot-Watt University], 2016. p. 7-8. https://arxiv.org/pdf/1612.03032.pdf