Publisher
Springer Berlin Heidelberg
Reference31 articles.
1. Bellin, G., Hyland, M., Robinson, E., Urban, C.: Proof Theory of Classical Logic (preparation)
2. Blackwell, R., Kelly, G.M., Power, A.J.: Two-dimensional monad theory. Journal of Pure and Applied Algebra 59, 1–41 (1989)
3. Bloom, S.L., Esik, Z.: Iteration Theories. Springer, Heidelberg (1993)
4. Carbone, A.: Duplication of directed graphs and exponential blow up of proofs. Annals of Pure and Applied Logic 100, 1–67 (1999)
5. Carbone, A.: Asymptotic cyclic expansion and bridge groups of formal proofs. Journal of Algebra, 109–145 (2001)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献