Automating Proofs in Category Theory.

Dexter Kozen, Christoph Kreitz, Eva Richter

Browse the full CADE paper archive.