Interaction morphisms [extended abstract]
author
Katsumata, Shin-ya
Uustalu, Tarmo
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
2016
pages
p. 7-8
conference name, date
Workshop on Coalgebra, Horn Clause Logic Programming and Types, November 28-29, 2016
conference location
Edinburgh, Scotland
url
https://arxiv.org/pdf/1612.03032.pdf
subject term
programmeerimine
matemaatika
notes
Bibliogr.: 4 ref
TalTech department
arvutiteaduse instituut
language
inglise