Person. Ranald Clouston PhD advisorAndrew M. Pitts PhDUniversity of Cambridge Papers Guarded Cubical Type Theory birkedal-2018-guardedJAR · 2018 DOI