Skip to main content
SpringerLink
Log in

Computer Science Logic

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

  • Conference proceedings
  • © 2005

Overview

Editors:
  1. Luke Ong

    1. Oxford University Computing Laboratory, Oxford, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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)

Included in the following conference series:

Conference proceedings info: CSL 2005.

This is a preview of subscription content, log in via an institution to check access.

Access this book

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

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (39 papers)

  1. Front Matter

    Download chapter PDF

  3. 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

    4. A Semantic Formulation of ⊤ ⊤-Lifting and Logical Predicates for Computational Metalanguage

      • Shin-ya Katsumata
      Pages 87-102

  4. 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. Decidability of Type-Checking in the Calculus of Algebraic Constructions with Size Annotations

      • Frédéric Blanqui
      Pages 135-150

    4. On the Role of Type Decorations in the Calculus of Inductive Constructions

      • Bruno Barras, Benjamin Grégoire
      Pages 151-166

  5. 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

  7. Finite Models, Decidability and Complexity

    1. Coprimality in Finite Models

      • Marcin Mostowski, Konrad Zdanowski
      Pages 263-275
Back to top

Other volumes

  1. Computer Science Logic

Keywords

Editors and Affiliations

  • Oxford University Computing Laboratory, Oxford, United Kingdom

    Luke Ong

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation