1. Andreoli, J.-M.: Logic programming with focusing proofs in linear logic. Journal of Logic and Computation 2(3), 297–347 (1992)
2. van Atten, M.: The Development of Intuitionistic Logic, The Stanford Encyclopedia of Philosophy (Summer 2009 Edition). Zalta, E.N. (ed.) (2009), ¡
http://plato.stanford.edu/archives/sum2009/entries/intuitionistic-logic-development
¿
3. Lecture Notes in Computer Science;F. Barbanera,1997
4. Curien, P.-L., Herbelin, H.: The Duality of Computation. In: Proc. Int. Conf. on Functional Programming. ACM press, New York (2000)
5. Czermak, J.: A remark on Gentzen’s calculus of sequents. Notre Dame Journal of Formal Logic 18, 471–474 (1977)