https://hal.inria.fr/hal-02019706
Contributor : Florian Steinberg
<>
Submitted on : Thursday, February 14, 2019 - 4:48:53 PM
Last modification on : Saturday, February 16, 2019 - 1:23:30 AM
Florian Steinberg. A simple universal machine of type two and a formal proof of its correctness. CCA 2018 - 15th International Conference on Computability and Complexity in Analysis, Aug 2018, Kochel, Germany. ⟨hal-02019706⟩
