Amazon cover image
Image from Amazon.com

Computer science logic : 8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers / Leszek Pacholski, Jerzy Tiuryn, eds.

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 933.Publication details: Berlin ; New York : Springer-Verlag, ©1995.Description: 1 online resource (ix, 541 pages) : illustrationsContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783540494041
  • 3540494049
Subject(s): Genre/Form: Additional physical formats: Print version:: Computer science logic.DDC classification:
  • 004/.01/5113 20
LOC classification:
  • QA75.5 .W624 1994
Other classification:
  • 54.10
Online resources:
Contents:
Subtyping with Singleton Types / David Aspinall -- A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects / Viviana Bono and Luigi Liquori -- The Girard Translation Extended with Recursion / Torben Brauner -- Decidability of Higher-Order Subtyping with Intersection Types / Adriana B. Compagnoni -- A [lambda]-calculus Structure Isomorphic to Gentzen-style Sequent Calculus Structure / Hugo Herbelin -- Usability: Formalising (un)definedness in Typed Lambda Calculus / Jan Kuper -- Lambda Representation of Operations Between Different Term Algebras / Marek Zaionc -- Semi-Unification and Generalizations of a Particularly Simple Form / Matthias Baaz and Gernot Salzer -- A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models / Nick Benton -- Cut Free Formalization of Logic with Finitely Many Variables. Part I / Lev Gordeev -- How to Lie without Being (easily) Convicted and the Lengths of Proofs in Propositional Calculus / Pavel Pudlak and Samuel R. Buss.
Action note:
  • digitized 2010 HathiTrust Digital Library committed to preserve
Summary: 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.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

Includes bibliographical references (page 541) and index.

Subtyping with Singleton Types / David Aspinall -- A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects / Viviana Bono and Luigi Liquori -- The Girard Translation Extended with Recursion / Torben Brauner -- Decidability of Higher-Order Subtyping with Intersection Types / Adriana B. Compagnoni -- A [lambda]-calculus Structure Isomorphic to Gentzen-style Sequent Calculus Structure / Hugo Herbelin -- Usability: Formalising (un)definedness in Typed Lambda Calculus / Jan Kuper -- Lambda Representation of Operations Between Different Term Algebras / Marek Zaionc -- Semi-Unification and Generalizations of a Particularly Simple Form / Matthias Baaz and Gernot Salzer -- A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models / Nick Benton -- Cut Free Formalization of Logic with Finitely Many Variables. Part I / Lev Gordeev -- How to Lie without Being (easily) Convicted and the Lengths of Proofs in Propositional Calculus / Pavel Pudlak and Samuel R. Buss.

Use copy Restrictions unspecified star MiAaHDL

Electronic reproduction. [Place of publication not identified] : HathiTrust Digital Library, 2010. MiAaHDL

Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. MiAaHDL

http://purl.oclc.org/DLF/benchrepro0212

digitized 2010 HathiTrust Digital Library committed to preserve pda MiAaHDL

Print version record.

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.

Powered by Koha