Guarded Computational Type Theory.

Jonathan Sterling, Robert Harper

Browse the full LICS paper archive.