Algorithmic Cost in "Exact Real Computation"

Jihoon Hyun, Holger Thies, Martin Ziegler

Turing completeness of a programming language or system characterizes its expressive power; and the strong Church-Turing hypo-/thesis refines such from qualitative to polynomial-ti…