## Automating Proofs in Category Theory

### Cached

### Download Links

- [www.cs.cornell.edu]
- [www.cs.cornell.edu]
- [www.nuprl.org]
- [www.cs.uni-potsdam.de]
- DBLP

### Other Repositories/Bibliography

by
Dexter Kozen
,
Christoph Kreitz

Citations: | 5 - 0 self |