Interaction morphisms [extended abstract]

vastutusandmed
Shin-ya Katsumata, Tarmo Uustalu
allikas
CoALP-Ty'16 : pre-proceedings of the Workshop on Coalgebra, Horn Clause Logic Programming and Types : November 28-29, 2016, Edinburgh, UK
ilmumiskoht
[Edinburgh]
kirjastus/väljaandja
[Heriot-Watt University]
ilmumisaasta
leheküljed
p. 7-8
konverentsi nimetus, aeg
Workshop on Coalgebra, Horn Clause Logic Programming and Types, November 28-29, 2016
konverentsi toimumispaik
Edinburgh, Scotland
märkused
Bibliogr.: 4 ref
TTÜ struktuuriüksus
keel
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