## Categorical Proof Theory of Classical Propositional Calculus (2005)

### Cached

### Download Links

- [profs.sci.univr.it]
- [www.cs.bath.ac.uk]
- [www.dcs.qmw.ac.uk]
- DBLP

### Other Repositories/Bibliography

by
Gianluigi Bellin
,
Martin Hyland
,
Edmund Robinson
,
Christian Urban

Citations: | 9 - 1 self |