Volume 3, 1996

Linear Logic 96 Tokyo Meeting
Mita Campus, Keio University, Tokyo, Japan, March 28-April 2, 1996

• 
  Jean-Yves Girard, Mitsuhiro Okada, Andre Scedrov: Preface. 1
• 
  Samson Abramsky, Guy McCusker: Linearity, Sharing and State: a fully abstract game semantics for Idealized Algol with active expressions. 2-14
• 
  Gavin M. Bierman: Towards a Classical Linear lambda-calculus. 15-27
• 
  Richard Blute, Philip J. Scott: A Noncommutative Full Completeness Theorem. 28-38
• 
  Dirk van Dalen: Intuitionism - Counting its Blessings. 39
• 
  Vincent Danos, Laurent Regnier: Reversible, Irreversible and Optimal Lambda-machines. 40-60
• 
  Christophe Fouqueré, Jacqueline Vauzeilles: Linear Logic for Taxonomical Networks and Database Updates. 61-74
• 
  Jean-Yves Girard: On denotational completeness. 75-80
• 
  Jean-Yves Girard: Coherent Banach Spaces: a continuous denotational semantics. 81-87
• 
  Susumu Hayashi, Masakazu Ishikawa, Satoshi Kobayashi, Hiroshi Nakano, Syuichi Nakazaki: Two Extensions of PX system. 88
• 
  Kohei Honda: Abstract Process Structures. 89-105
• 
  Max I. Kanovich: Simulating Computations in Second Order Non-Commutative Linear Logic. 106
• 
  François Lamarche: From Proof Nets to Games. 107-119
• 
  Patrick Lincoln, John C. Mitchell, Andre Scedrov: The Complexity of Local Proof Search in Linear Logic. 120-129
• 
  François Métayer: Some remarks on cyclic linear logic. 130-137
• 
  Raymond McDowell, Dale Miller, Catuscia Palamidessi: Encoding Transition Systems in Sequent Calculus. 138-152
• 
  Misao Nagayama, Mitsuhiro Okada: A Graph-Theoretic Characterization Theorem for Multiplicative Fragment of Non-Commutative Linear Logic. 153
• 
  Mitsuhiro Okada: Phase Semantics for Higher Order Completeness, Cut-Elimination and Normalization Proofs. 154
• 
  Vaughan R. Pratt: Broadening the denotational semantics of linear logic. 155-166
• 
  Christian Retoré: Perfect matchings and series-parallel graphs: multiplicatives proof nets as R&B-graphs. 167-182
• 
  Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx: Computational isomorphisms in classical logic. 183-195
• 
  Joshua S. Hodas, Jeffrey Polakow: Forum as a Logic Programming Language. 196-207
• 
  Marco Pedicini: Remarks on Elementary Linear Logic. 208-219
• 
  Lorenzo Tortora de Falco: Generalized standardization lemma for the additives. 220-232