1 paper
Daniel Gahler, Dean Thomas, Slawomir Lach +1
The most fundamental abstraction underlying all modern computers is the Turing Machine, that is if any modern computer can simulate a Turing Machine, an equivalence which is called…