Information and Computation, Volume 137

Volume 137, Number 1, August 25, 1997

• Matt Fairtlough, Michael Mendler: Propositional Lax Logic. 1-33
• Benedetto Intrigila: Non-existent Statman's Double Fixedpoint Combinator Does Not Exist, Indeed. 35-40
• Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi: Constraint Logic Programming with Dynamic Scheduling: A Semantics Based on Closure Operators. 41-67
• Yves Lafont: Interaction Combinators. 69-101

Volume 137, Number 2, September 15, 1997

• Artur Czumaj, Friedhelm Meyer auf der Heide, Volker Stemann: Simulating Shared Memory in Real Time: On the Computation Power of Reconfigurable Architectures. 103-120
• Luca Aceto, Wan Fokkink: An Equational Axiomatization for Multi-Exit Iteration. 121-158
• Stephen A. Cook, Russell Impagliazzo, Tomoyuki Yamakami: A Tight Relationship Between Generic Oracles and Type-2 Complexity Theory. 159-170