Guarded recursion in Agda via sized types

Niccolò Veltri, Niels van der Weide

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

    Fingerprint

    Dive into the research topics of 'Guarded recursion in Agda via sized types'. Together they form a unique fingerprint.

    Keyphrases

    Computer Science