Information and Computation, Volume 179

Volume 179, Number 1, 25 November 2002

• Jerzy Tiuryn, Pawel Urzyczyn:
  The Subtyping Problem for Second-Order Types Is Undecidable. 1-18
  
• Iliano Cervesato, Frank Pfenning:
  A Linear Logical Framework. 19-75
  
• Marcelo P. Fiore, Eugenio Moggi, Davide Sangiorgi:
  A Fully Abstract Model for the [pi]-calculus. 76-117
  
• Stephen D. Brookes:
  The Essence of Parallel Algol. 118-149
  

Volume 179, Number 2, 15 December 2002

• Glynn Winskel:
  Guest Editorial. 151
  
• Dexter Kozen:
  On the Complexity of Reasoning in Kleene Algebra. 152-162
  
• Josee Desharnais, Abbas Edalat, Prakash Panangaden:
  Bisimulation for Labelled Markov Processes. 163-193
  
• Henrik Reif Andersen, Henrik Hulgaard:
  Boolean Expression Diagrams. 194-212
  
• Witold Charatonik, Andreas Podelski:
  Set Constraints with Intersection. 213-229
  
• P. S. Thiagarajan, Igor Walukiewicz:
  An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces. 230-249
  
• Martin Grohe:
  Large Finite Structures with Few Lk-Types. 250-278
  
• Kousha Etessami, Moshe Y. Vardi, Thomas Wilke:
  First-Order Logic with Two Variables and Unary Temporal Logic. 279-295
  
• Jon G. Riecke, Anders Sandholm:
  A Relational Account of Call-by-Value Sequentiality. 296-331
  
• Martin Hofmann, Thomas Streicher:
  Completeness of Continuation Models for lambda-mu-Calculus. 332-355
  
• Oliver Matz, Nicole Schweikardt, Wolfgang Thomas:
  The Monadic Quantifier Alternation Hierarchy over Grids and Graphs. 356-383
  
• Erratum ("Mobile Objects as Mobile Processes" by M. Merro et al, Volume 177, Number 2 [2002], pages 195-241). 384