Active Bibliography

84 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
4 A Survey of Linear Logic Programming – Dale Miller - 1995
35 Ordered Linear Logic and Applications – Jeff Polakow, Harper John Reynolds - 2001
Focusing and Proof-Nets in Linear . . . – Jean-Marc Andreoli, Roberto Maieli - 1999
2 A formal framework for specifying sequent calculus proof systems – Dale Miller , Elaine Pimentel - 2012
13 On the specification of sequent systems – Elaine Pimentel, Dale Miller - 2005
11 A system of interaction and structure IV: The exponentials – Alessio Guglielmi, Lutz Straßburger - 2007
A SYSTEM OF INTERACTION AND STRUCTURE II: THE NEED FOR DEEP INFERENCE – unknown authors - 2005
3 Properties of a logical system in the calculus of structures – Alwen Fernanto Tiu - 2001
16 Reducing Nondeterminism in the Calculus of Structures – Ozan Kahramanogullari - 2005
37 Focusing the inverse method for linear logic – Kaustuv Chaudhuri, Stephen Brookes - 2005
7 An Overview of Linear Logic Programming – Dale Miller - 1985
11 Linear logic as a framework for specifying sequent calculus – Dale Miller, Elaine Pimentel - 2004
1 A Static Analysis of a Classical Linear Logic Programming Language – Kyoung-sun Kang
4 A Language for the Logical Specification of Processes and Relations – Luís Caires - 1996
3 Substructural Logical Specifications – Robert J. Simmons, Robert Harper, André Platzer - 2012