Fingeraftryk
Dyk ned i forskningsemnerne om 'Guarded Dependent Type Theory with Coinductive Types'. Sammen danner de et unikt fingeraftryk.- Sorter
- Vægt
- Alfabetisk
Guarded Dependent Type Theory with Coinductive Types
Ales Bizjak, Hans Bugge Grathwohl, Ranald Clouston, Rasmus Ejlers Møgelberg, Lars Birkedal
Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review