Interaction morphisms [extended abstract]
autor
Katsumata, Shin-ya
Uustalu, Tarmo
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
2016
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
leitav
https://arxiv.org/pdf/1612.03032.pdf
märksõna
programmeerimine
matemaatika
märkused
Bibliogr.: 4 ref
TTÜ struktuuriüksus
arvutiteaduse instituut
keel
inglise