Don’t miss it: Get 40% off Education & Linguistics books! Save through November 30, 2018.

Lecture Notes in Computer Science

Computer Science Logic

8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers

Editors: Pacholski, Leszek, Tiuryn, Jerzy (Eds.)

Buy this book

eBook $109.00
price for USA in USD (gross)
  • ISBN 978-3-540-49404-1
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $149.00
price for USA in USD
  • ISBN 978-3-540-60017-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (38 chapters)

  • Subtyping with singleton types

    Aspinall, David

    Pages 1-15

  • A subtyping for the Fisher-Honsell-Mitchell lambda calculus of objects

    Bono, Viviana (et al.)

    Pages 16-30

  • The Girard Translation extended with recursion

    Braüner, Torben

    Pages 31-45

  • Decidability of higher-order subtyping with intersection types

    Compagnoni, Adriana B.

    Pages 46-60

  • A λ-calculus structure isomorphic to Gentzen-style sequent calculus structure

    Herbelin, Hugo

    Pages 61-75

Buy this book

eBook $109.00
price for USA in USD (gross)
  • ISBN 978-3-540-49404-1
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $149.00
price for USA in USD
  • ISBN 978-3-540-60017-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Computer Science Logic
Book Subtitle
8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers
Editors
  • Leszek Pacholski
  • Jerzy Tiuryn
Series Title
Lecture Notes in Computer Science
Series Volume
933
Copyright
1995
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-49404-1
DOI
10.1007/BFb0022242
Softcover ISBN
978-3-540-60017-6
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XI, 553
Topics