Active Bibliography

70 A system of interaction and structure – Alessio Guglielmi - 2004
7 A Calculus of Order and Interaction – Alessio Guglielmi - 1999
11 A System of Interaction and Structure II: The Need for Deep Inference – Alwen Tiu - 2005
4 A Survey of Linear Logic Programming – Dale Miller - 1995
33 Ordered Linear Logic and Applications – Jeff Polakow, Harper John Reynolds - 2001
Focusing and Proof-Nets in Linear . . . – Jean-Marc Andreoli, Roberto Maieli - 1999
8 On the specification of sequent systems – Elaine Pimentel, Dale Miller, Minas Gerais, Belo Horizonte, M. G. Brasil - 2005
7 A system of interaction and structure IV: The exponentials – Alessio Guglielmi, Lutz Straßburger - 2007
2 Properties of a logical system in the calculus of structures – Alwen Fernanto Tiu, Technische Universit"at Dresden - 2001
14 Reducing Nondeterminism in the Calculus of Structures – Ozan Kahramanogullari - 2005
30 Focusing the inverse method for linear logic – Kaustuv Chaudhuri, Stephen Brookes - 2005
5 An Overview of Linear Logic Programming – Dale Miller - 1985
7 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
1 A Linear Logic Specification for Chimera – Marco Bozzano, Giorgio Delzanno, Maurizio Martelli - 1997
3 A Proof-Theoretic Approach to the Static Analysis of Logic Programs – Dale Miller - 2007
Substructural Logical Specifications – Robert J. Simmons, Robert Harper, André Platzer - 2012
60 A concurrent logical framework I: Judgments and properties – Kevin Watkins, Iliano Cervesato, Frank Pfenning, David Walker - 2003