Electronic Notes in Theoretical Computer Science, Volume 3

Volume 3, 1996

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