Guarded recursion in Agda via sized types

Niccolò Veltri, Niels van der Weide

    Publikation: Artikel i tidsskrift og konference artikel i tidsskriftKonferenceartikelForskningpeer review

    Fingeraftryk

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

    Keyphrases

    Computer Science