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

Be the first to leave a comment!
You must be logged in first