Report - Automating Proofs in Category Theorykozen/Papers/06ijcar-categories.pdf · Category theory is a popular framework for expressing abstract properties of mathematical structures. Since

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form