Different computational models (cellular automata, lambda calculus, circuits) yield different constr...
This proposition has not been edited since the history system was added.