jacobs-1999:
  type: book
  title: Categorical Logic and Type Theory
  author: Jacobs, Bart
  date: 1999
  publisher:
    name: North Holland
    location: Amsterdam
  issue: 141
  parent:
    type: book
    title: Studies in Logic and the Foundations of Mathematics