Skip to main content
  • Conference proceedings
  • © 2005

Computer Science Logic

19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings

Editors:

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 3634)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): CSL: International Workshop on Computer Science Logic

Conference proceedings info: CSL 2005.

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (39 papers)

  1. Front Matter

  2. Semantics and Logics

    1. On Bunched Polymorphism

      • Matthew Collinson, David Pym, Edmund Robinson
      Pages 36-50
    2. Distributed Control Flow with Classical Modal Logic

      • Tom Murphy VII, Karl Crary, Robert Harper
      Pages 51-69
    3. A Logic of Coequations

      • Jiri Adámek
      Pages 70-86
  3. Type Theory and Lambda Calculus

    1. Order Structures on Böhm-Like Models

      • Paula Severi, Fer-Jan de Vries
      Pages 103-118
    2. Higher-Order Matching and Games

      • Colin Stirling
      Pages 119-134
    3. On the Role of Type Decorations in the Calculus of Inductive Constructions

      • Bruno Barras, Benjamin Grégoire
      Pages 151-166
  4. Linear Logic and Ludics

    1. L-Nets, Strategies and Proof-Nets

      • Pierre-Louis Curien, Claudia Faggian
      Pages 167-183
    2. Permutative Logic

      • Jean-Marc Andreoli, Gabriele Pulcini, Paul Ruet
      Pages 184-199
    3. Focusing the Inverse Method for Linear Logic

      • Kaustuv Chaudhuri, Frank Pfenning
      Pages 200-215
    4. Towards a Typed Geometry of Interaction

      • Esfandiar Haghverdi, Philip J. Scott
      Pages 216-231
  5. Finite Models, Decidability and Complexity

    1. Coprimality in Finite Models

      • Marcin Mostowski, Konrad Zdanowski
      Pages 263-275

Other Volumes

  1. Computer Science Logic

Keywords

  • Constraint
  • ai logics
  • classical logic
  • complexity
  • computational logic
  • finite models
  • higher order logic
  • lambda calculus
  • linear logic
  • logic
  • logic programming
  • nonclassical logic
  • semantics
  • verifi
  • verification

Editors and Affiliations

  • Oxford University Computing Laboratory, Oxford, United Kingdom

    Luke Ong

Bibliographic Information

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions