Doing Without Turing Machines: Constructivism and Formal Topology.

Giovanni Sambin

Browse the full CiE paper archive.