[Heriot-Watt University] (publisher)

—
—
Add criteria Simple search filter
Clear
types of item

  • book article
    Interaction morphisms [extended abstract]Katsumata, Shin-ya; Uustalu, TarmoCoALP-Ty'16 : pre-proceedings of the Workshop on Coalgebra, Horn Clause Logic Programming and Types : November 28-29, 2016, Edinburgh, UK2016 / p. 7-8 https://arxiv.org/pdf/1612.03032.pdf
    book article
Number of records 1, displaying 1 - 1