A Model of PCF in Guarded Type Theory

Marco Paviotti, Rasmus Ejlers Møgelberg, Lars Birkedal

Publikation: Artikel i tidsskrift og konference artikel i tidsskriftTidsskriftartikelForskningpeer review

Fingeraftryk

Dyk ned i forskningsemnerne om 'A Model of PCF in Guarded Type Theory'. Sammen danner de et unikt fingeraftryk.

Computer Science

Keyphrases