Polina Vinogradova, Amy P. Felty, Philip Scott. Formalizing Abstract Computability: Turing Categories in Coq. Electronic Notes in Theoretical Computer Science, 338:203-218, 2018. [doi]
No references recorded for this publication.
No citations of this publication recorded.