Fingeraftryk
Dyk ned i forskningsemnerne om 'Guarded recursion in Agda via sized types'. Sammen danner de et unikt fingeraftryk.- Sorter
- Vægt
- Alfabetisk
Guarded recursion in Agda via sized types
Niccolò Veltri, Niels van der Weide
Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review