Author:
Guerrini Stefano,Masini Andrea
Subject
General Computer Science,Theoretical Computer Science
Reference16 articles.
1. Sequent reconstruction in LLM – A sweepline proof;Banach;Ann. Pure. Appl. Logic.,1995
2. V. Danos, Une Application de la Logique Linéaire à l’Ètude des Processus de Normalisation (principalement du λ-calcul), Ph.D. Thesis, Université Paris 7, June 1990.
3. The structure of multiplicatives;Danos;Arch. Math. Logic,1989
4. Linear logic;Girard;Theoret. Comput. Sci.,1987
5. J.-Y. Girard, Linear logic: its syntax and semantics, in J.-Y. Girard, Y. Lafont, L. Regnier (Eds.), Advances in Linear Logic, Cambridge University Press, Cambridge, 1995, pp. 1– 42. Proc. Workshop on Linear Logic, Ithaca, New York, June 1993.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献