Table of contents

  1. Front Matter
  2. David Aspinall
    Pages 1-15
  3. Matthias Baaz, Gernot Salzer
    Pages 106-120
  4. Arnaud Durand, Solomampionona Ranaivoson
    Pages 177-189
  5. Etienne Grandjean, Frédéric Olive
    Pages 190-204
  6. Clemens Lautemann, Thomas Schwentick, Denis Thérien
    Pages 205-216
  7. Alexei P. Stolboushkin, Michael A. Taitslin
    Pages 242-248
  8. Stacy E. Finkelstein, Peter Freyd, James Lipton
    Pages 249-263

About these proceedings


This volume contains revised refereed versions of the best papers presented during the CSL '94 conference, held in Kazimierz, Poland in September 1994; CSL '94 is the eighth event in the series of workshops held for the third time as the Annual Conference of the European Association for Computer Science Logic.
The 38 papers presented were selected from a total of 151 submissions. All important aspects of the methods of mathematical logic in computer science are addressed: lambda calculus, proof theory, finite model theory, logic programming, semantics, category theory, and other logical systems. Together, these papers give a representative snapshot of the area of logical foundations of computer science.


lambda calculus logic mathematical logic model theory programming proof theory semantics

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag 1995
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-60017-6
  • Online ISBN 978-3-540-49404-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors