sterling_2021:
  type: thesis
  title: 'First Steps in Synthetic Tait Computability: The Objective Metatheory of Cubical Type Theory'
  author: Sterling, Jonathan
  date: 2021
  publisher: Zenodo
  organization: Carnegie Mellon University
  url: https://zenodo.org/record/5709838
  serial-number:
    doi: 10.5281/ZENODO.5709838
  genre: Doctoral dissertation