Active Bibliography

85 A system of interaction and structure – Alessio Guglielmi - 2004
8 A Calculus of Order and Interaction – Alessio Guglielmi - 1999
12 A system of interaction and structure II: the need for deep inference – Alwen Tiu - 2006
4 A system of interaction and structure V: The exponentials and splitting – Alessio Guglielmi - 2009
35 Ordered Linear Logic and Applications – Jeff Polakow, Harper John Reynolds - 2001
4 A Survey of Linear Logic Programming – Dale Miller - 1995
302 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
ACKNOWLEDGMENTS – Geoff Scott, Kim Johnston - 2005
332 Logic Programming with Focusing Proofs in Linear Logic – Jean-marc Andreoli - 1992