lambek_scott_1986:
  type: book
  title: Introduction to Higher-Order Categorical Logic
  author:
  - Lambek, Joachim
  - Scott, Philip J.
  date: 1986
  publisher: Cambridge University Press
  volume: 7
  parent:
    type: book
    title: Cambridge Studies in Advanced Mathematics