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: Typed lambda calculi and applications
    sub title: International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands : proceedings
  name:
    name part: International Conference on Typed Lambda Calculi Applications (1993 : Utrecht, Netherlands)
    role:
      role term: creator
  name:
    name part: Bezem, M. (Marc)
    name part: 1956-
  name:
    name part: Groote, J. F. (Jan Friso)
    name part: 1965-
  type of resource: text
  genre: conference publication
  origin info:
    place:
      place term: ne
    date issued: 1993
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: print
    extent: viii, 432 pages : illustrations ; 23 cm.
  note: M. Bezem. J.F. Groote, eds.
  note: Includes index.
  note: Includes bibliographical references.
  subject:
    topic: Lambda calculus
    topic: Congresses
  classification: QA9.5 .I58 1993
  classification: 511.3
  related item:
    title info:
      title: Lecture notes in computer science ; 664
  identifier: 3540565175 (Berlin : acid-free paper)
  identifier: 0387565175 (New York : acid-free paper)
  identifier: 93021883
  record info:
    record content source: DLC
    record creation date: 930205
    record change date: 20150930071526.0
    record identifier: in00001117316