rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Computer science logic
    sub title: 8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers
  name:
    name part: Workshop on Computer Science Logic 1994 : Kazimierz Dolny, Poland)
    role:
      role term: creator
  name:
    name part: Pacholski, Leszek.
  name:
    name part: Tiuryn, Jerzy.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  genre: bibliography
  genre: conference publication
  genre: Electronic books.
  genre: Conference proceedings.
  genre: Electronic resources (Books)
  origin info:
    place:
      place term: gw
    date issued: 1995
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource (ix, 541 pages) : illustrations
  table of 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.
  note: Leszek Pacholski, Jerzy Tiuryn, eds.
  note: Electronic resource.
  note: Includes bibliographical references (page 541) and index.
  subject:
    topic: Computer science
    genre: Congresses
  subject:
    topic: Logic, Symbolic and mathematical
    genre: Congresses
  subject:
    topic: théorie catégorie
  subject:
    topic: sémantique
  subject:
    topic: programmation en logique
  subject:
    topic: théorie démonstration
  subject:
    topic: lambda calcul
  subject:
    topic: logique informatique
  subject:
    topic: Informatique
    genre: Congrès
  subject:
    topic: Logique symbolique et mathématique
    genre: Congrès
  subject:
    topic: Computer science
  subject:
    topic: Logic, Symbolic and mathematical
  subject:
    topic: Fundamentele informatica
  subject:
    topic: Logica
  subject:
    topic: Programmeertalen
  subject:
    topic: Ciencia da computacao ou informatica
  subject:
    topic: Logique symbolique et mathématique
    topic: Congrès
  subject:
    topic: Informatique
    topic: Congrès
  classification: QA75.5 .W624 1994
  classification: 004/.01/5113
  classification: 54.10
  related item:
    title info:
      title: Computer science logic
    name:
      name part: Workshop on Computer Science Logic (8th : 1994 : Kazimierz Dolny, Poland).
    origin info:
      publisher: Berlin ; New York : Springer-Verlag, ©1995
    identifier: (OCoLC)693145499
  related item:
    title info:
      title: Lecture notes in computer science ; 933
  identifier: 3540600175
  identifier: 9783540600176
  identifier: 0387600175
  identifier: 9780387600178
  identifier: 95023973
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: DLC
    record creation date: 950526
    record change date: 20190325092936.0
    record identifier: in00001252794
    language of cataloging:
      language term: eng