From reversible to irreversible computations (Green & Altenkirch): http://www.cs.nott.ac.uk/~psztxa/publ/qpl06.pdf … cc @Plinz
-
-
Interessant. Sehr. Ziemlich nah an meiner Denkweise.
-
I'm sure the way of cellular automata in hyperbolic and Malament-Hogarth spaces (plus a few other doodads) is not free. Wait and see.
- 20 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.