Volume 13, Issue 6, November 1998

ISSN: 1000-9000 (Print) 1860-4749 (Online)

In this issue (19 articles)

  1. No Access

    Regular Papers

    Structures definable in polymorphism

    Yuxi Fu Article:579
  2. No Access

    Special Section Papers

    Explicit substitutions: A short survey

    Pierre-Louis Curien Article:562
  3. No Access

    Special Section Papers

    Another definition of order-sorted algebra

    Ziqiang He Article:547
  4. No Access

    Special Section Papers

    Reaction graph

    Yuxi Fu Article:510
  5. No Access

    Special Section Papers

    Preface

    P. -L. Curien, M. Hennessy, H. Lin Page 481
  6. No Access

    Special Section Papers

    Simply-typed underdeterminism

    Ewen Denney Pages 491-508
  7. No Access

    Special Section Papers

    Calculi for concurrent processes

    Gérard Boudol Page 509
  8. No Access

    Special Section Papers

    A crash course in λ-calculus

    G. Huet Page 546
  9. No Access

    Special Section Papers

    An overview of Duration Calculus

    Chaochen Zhou Page 552