Marco Paviotti

Guest PhD

  • Published

    A model of PCF in guarded type theory

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperConference articleResearchpeer-review

View all (1) »

ID: 83276422