Linear dependent types and relative completeness

Ugo Dal Lago, Marco Gaboardi

    Research output: Contribution to journalArticlepeer-review

    10 Citations (Scopus)

    Fingerprint Dive into the research topics of 'Linear dependent types and relative completeness'. Together they form a unique fingerprint.

    Mathematics