Deep Inference Proof Theory Equals Categorical Proof Theory Minus Coherence (2004)

Cached

Download Links

by Dominic J. D. Hughes
Citations:5 - 1 self