Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Bruscoli, P., Guglielmi, A.: On the proof complexity of deep inference. ACM Trans. Computat. Logic 2(14), 1–34 (2009)
2. Girard, J.-Y.: Linear logic: Its syntax and semantics. In: Girard, J.-Y., Lafont, Y., Regnier, L. (eds.) Advances in Linear Logic (Proceedings of the Workshop on Linear Logic, Cornell University), vol. 222. Cambridge University Press (1995)
3. Guglielmi, A.: Abstract Logic Programming in Linear Logic Independence and Causality in a First Order Calculus. Ph.D. thesis, Universita di Pisa (1996)
4. Guglielmi, A.: A system of interaction and structure. ACM Trans. Comput. Logic 8(1), 1–64 (2007)
5. Guglielmi, A., Gundersen, T.: Normalisation control in deep inference via atomic flows. Log. Methods Comput. Sci. 4(1:9), 1–36 (2008)