Linear Recursive Functions

Abstract

With the recent trend of analysing the process of computation through the linear logic looking glass, it is well understood that the ability to copy and erase data is essential in order to obtain a Turingcomplete computation model. However, erasing and copying do not need to be explicitly included in Turing-complete computation models: in this paper we show… (More)
DOI: 10.1007/978-3-540-73147-4_9

Topics

Cite this paper

@inproceedings{Alves2007LinearRF, title={Linear Recursive Functions}, author={Sandra Alves and Maribel Fern{\'a}ndez and M{\'a}rio Florido and Ian Mackie}, booktitle={Rewriting, Computation and Proof}, year={2007} }