Distributive Computability
<|reference_start|>Distributive Computability: This thesis presents a series of theoretical results and practical realisations about the theory of computation in distributive categories. Distributive categories have been proposed as a foundational tool for Computer Science in the last years, starting from the papers of R.F.C. Walters. We shall focus on two major topics: distributive computability, i.e., a generalized theory of computability based on distributive categories, and the Imp(G) language, which is a language based on the syntax of distributive categories. The link between the former and the latter is that the functions computed by Imp(G) programs are exactly the distributively computable functions.<|reference_end|>
@article{vigna2003distributive,
    title={Distributive Computability},
    author={Sebastiano Vigna},
    journal={arXiv preprint arXiv:cs/0306136},
    year={2003},
    archivePrefix={arXiv},
    eprint={cs/0306136},
    primaryClass={cs.LO cs.PL}
}