birkedalFirstStepsSGDT2012:
  type: article
  title: 'First steps in synthetic guarded domain theory: step-indexing in the topos of trees'
  author:
  - Birkedal, Lars
  - Møgelberg, Rasmus Ejlers
  - Schwinghammer, Jan
  - Støvring, Kristian
  date: 2012
  serial-number:
    doi: 10.2168/LMCS-8(4:1)2012
  parent:
    type: periodical
    title: Logical Methods in Computer Science
    issue: 4:1
    volume: 8