Automating Proofs in Category Theory

by Dexter Kozen , Christoph Kreitz
Citations:5 - 0 self