Formalizing 휋-calculus in guarded cubical Agda

Niccolò Veltri, Andrea Vezzosi

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Fingerprint

    Dive into the research topics of 'Formalizing 휋-calculus in guarded cubical Agda'. Together they form a unique fingerprint.

    Keyphrases

    Computer Science