ITU
ITU
Agata Anna Murawska

Agata Anna Murawska

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

Information Desk: 72185000

View graph of relations

Research outputs (5)

  1. Published

    Multparty Classical Choreographies

    Research output: Contribution to conference - NOT published in proceeding or journalPaperResearchpeer-review

  2. Published

    Lincx: A Linear Logical Framework with First-class Contexts

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

  3. Published

    Modern Logical Frameworks Design

    Research output: Book / Anthology / Report / Ph.D. thesisPh.D. thesisResearch

View all (5) »

ID: 38615082