A coherent mathematical overview of computation and its generalisations is
described. This conceptual framework is sufficient to comfortably host a wide
range of contemporary thinking on embodied computation and its models.Comment: Based on an invited lecture for the 'Symposium on
Natural/Unconventional Computing and Its Philosophical Significance' at the
AISB/IACAP World Congress 2012, University of Birmingham, July 2-6, 201