Forskningsartikkelen presenterer en monoidal tilnærming til grunnleggende beregnbarhetsteori ved hjelp av strengdiagrammer. Den ble publisert i tidsskriftet Information and Computation i 2013.

Kilde: https://arxiv.org/abs/1208.5205