Hofmann_1997:
  type: chapter
  title: Syntax and Semantics of Dependent Types
  author: Hofmann, Martin
  date: 1997
  page-range: 79-130
  parent:
    type: book
    title: Semantics and Logics of Computation
    publisher: Cambridge University Press
    parent:
      type: book
      title: Publications of the Newton Institute