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]

Authors

Marco Paviotti

This author has not been identified. Look up 'Marco Paviotti' in Google

Rasmus Ejlers Møgelberg

This author has not been identified. Look up 'Rasmus Ejlers Møgelberg' in Google

Lars Birkedal

This author has not been identified. Look up 'Lars Birkedal' in Google