ITU
Jonas Kastberg Hinrichsen

Jonas Kastberg Hinrichsen

Guest

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark

Building: 4C16

Information Desk: 72185000

View graph of relations

Research outputs (2)

  1. Published

    Machine-Checked Semantic Session Typing

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  2. Published

    Actris: session-type based reasoning in separation logic

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

ID: 78744914