The logic of identity and copy for computational artefacts

N. Angius and Primiero, G., “The logic of identity and copy for computational artefacts”, Journal of Logic and Computation, 2018. http://dx.doi.org/10.1093/logcom/exy012