Formalizing Abstract Computability: Turing Categories in Coq

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.