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: [Lambda]-calculus and computer science theory
    sub title: proceedings of the symposium held in Rome, March 25-27, 1975
  name:
    name part: Böhm, C. (Corrado)
    name part: 1923-
  name:
    name part: SpringerLink (Online service)
  name:
    name part: Istituto per le applicazioni del calcolo
  type of resource: text
  genre: bibliography
  genre: conference publication
  genre: Electronic books.
  genre: Kongress.
  genre: Kongre€-Rom-1975.
  genre: Lambda-Calculus.
  genre: Conference proceedings.
  origin info:
    place:
      place term: gw
    date issued: 1975
    issuance: monographic
  language:
    language term: eng
  language:
    language term: fre
  physical description:
    form: remote
    extent: 1 online resource (xii, 370 pages) : illustrations
  note: IAC-CNR, Istituto per le applicazioni del calcolo "Mauro Picone" of the Consiglio nazionale delle ricerche ; edited by C. Böhm.
  note: English or French.
  note: Electronic resource.
  note: Includes bibliographical references.
  subject:
    topic: Combinatory logic
    genre: Congresses
  subject:
    topic: Programming languages (Electronic computers)
    genre: Congresses
  subject:
    topic: informatique théorique
  subject:
    topic: lambda calcul
  subject:
    topic: Langages de programmation
    genre: Congrès
  subject:
    topic: Logique combinatoire
    genre: Congrès
  subject:
    topic: Combinatory logic
  subject:
    topic: Programming languages (Electronic computers)
  subject:
    topic: Lambda-calculus
  subject:
    topic: Datenverarbeitung
  subject:
    topic: Kombinatorische Logik
  subject:
    topic: Kongress
  subject:
    topic: Lambda-Kalkül
  subject:
    topic: Logik
  subject:
    topic: Metamathematik
  subject:
    topic: Programmiersprache
  classification: QA9.5 .L35
  classification: 511/.3
  classification: 54.10
  classification: QH 500
  classification: SS 4800
  classification: 26b
  classification: 31.11
  classification: 31.80
  related item:
    title info:
      title: [Lambda]-calculus and computer science theory
    name:
      name part: Symposium on [symbol for lambda]-Calculus and Computer Science Theory (1975 : Rome, Italy).
    origin info:
      publisher: Berlin ; New York : Springer-Verlag, 1975
    identifier: (OCoLC)569508687
  related item:
    title info:
      title: Lecture notes in computer science ; 37
  identifier: 0387074163
  identifier: 9780387074160
  identifier: 3540074163
  identifier: 9783540074168
  identifier: 75033375
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: DLC
    record creation date: 751007
    record change date: 20190325091830.0
    record identifier: in00000478023
    language of cataloging:
      language term: eng