Theoretical Computer Science, Volume 278

Volume 278, Number 1-2, May 2002

• Stephen D. Brookes, Michael W. Mislove:
  Foreword - MFPS 1996. 1-2
  
• Peter J. Freyd:
  Cartesian logic. 3-21
  
• Stephen D. Brookes, Michael W. Mislove:
  Dedication. 23
  
• Melvin Fitting:
  Fixpoint semantics for logic programming a survey. 25-51
  
• Matthew Hennessy:
  A fully abstract denotational semantics for the pi-calculus. 53-89
  
• Antonio Bucciarelli, Pasquale Malacaria:
  Relative definability of boolean functions via hypergraphs. 91-110
  
• Adrian Fiech, David A. Schmidt:
  Polymorphic lambda calculus and subtyping. 111-140
  
• Robert C. Flagg, Philipp Sünderhauf:
  The essence of ideal completion in quantitative form. 141-158
  
• Hans-Peter A. Künzi, Michel P. Schellekens:
  On the Yoneda completion of a quasi-metric space. 159-194
  
• Paul Gastin, Dan Teodosiu:
  Resource traces: a domain for processes sharing exclusive resources. 195-221
  
• Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat:
  Truly concurrent constraint programming. 223-255
  
• Philip S. Mulry:
  Lifting results for categories of algebras. 257-269
  
• David A. Naumann:
  Soundness of data refinement for a higher-order imperative language. 271-301
  
• John Power:
  Premonoidal categories as categories with algebraic structure. 303-321
  
• John Power, Giuseppe Rosolini:
  Fixpoint operators for domain equations. 323-333