Formalizing Abstract Computability: Turing Categories in Coq

Saved in:
Bibliographic Details
Published inElectronic notes in theoretical computer science Vol. 338; pp. 203 - 218
Main Authors Vinogradova, Polina, Felty, Amy P., Scott, Philip
Format Journal Article
LanguageEnglish
Published 26.10.2018
Online AccessGet full text

Cover

More Information
ISSN:1571-0661
1571-0661
DOI:10.1016/j.entcs.2018.10.013