2013/03/11 by Sam Cooper, Cooper, S. Barry
Computer Science · #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
paper · pdf · doi:10.48550/arxiv.1303.2507
openalex publication_date 2013/03/11 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.