A Model of PCF in Guarded Type Theory

Marco Paviotti, Rasmus Ejlers Møgelberg, Lars Birkedal

Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

Fingerprint

Dive into the research topics of 'A Model of PCF in Guarded Type Theory'. Together they form a unique fingerprint.

Computer Science

Keyphrases