A Model of PCF in Guarded Type Theory

Marco Paviotti, Rasmus Ejlers M√łgelberg, Lars Birkedal. A Model of PCF in Guarded Type Theory. Electronic Notes in Theoretical Computer Science, 319:333-349, 2015. [doi]

Abstract

Abstract is missing.