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

    Fingeraftryk

    Dyk ned i forskningsemnerne om 'Guarded recursion in Agda via sized types'. Sammen danner de et unikt fingeraftryk.

    Keyphrases

    Computer Science