ohearn_fromCat2015:
  type: article
  title: From Categorical Logic to Facebook Engineering
  author: O'Hearn, Peter
  date: 2015
  page-range: 17-20
  serial-number:
    doi: 10.1109/LICS.2015.11
  parent:
    type: proceedings
    title: 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science
    issue: ''
    volume: ''