| HAL-Inria | Publications, software ... of Inria's scientists |
Documents associated with scientific events
A simple universal machine of type two and a formal proof of its correctness
Cited literature [6 references]
https://hal.inria.fr/hal-02019706
Contributor : Florian Steinberg <>
Submitted on : Thursday, February 14, 2019 - 4:48:53 PM
Last modification on : Thursday, January 7, 2021 - 3:40:10 PM
Long-term archiving on: : Wednesday, May 15, 2019 - 7:33:22 PM
Contributor : Florian Steinberg <>
Submitted on : Thursday, February 14, 2019 - 4:48:53 PM
Last modification on : Thursday, January 7, 2021 - 3:40:10 PM
Long-term archiving on: : Wednesday, May 15, 2019 - 7:33:22 PM
File
CCA2018Abstracts-7-8.pdf
Files produced by the author(s)