Unconventional Computation Models and Logics

Formal models and logical systems that define what counts as computation under different resource rules. It covers computation that may use borrowed memory which it must restore unchanged, and a binary encoding of combinatory logic, a system equivalent in power to other universal models. An entry belongs here when it defines a model of computing rather than solving a task. It excludes the standard machine models, which are treated as concepts, and reductions between problems.