Research outputs (5)

1. Published

   Multparty Classical Choreographies

   Research output: Contribution to conference - NOT published in proceeding or journal › Paper › Research › peer-review

2. Published

   Lincx: A Linear Logical Framework with First-class Contexts

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

3. Published

   Modern Logical Frameworks Design

   Research output: Book / Anthology / Report / Ph.D. thesis › Ph.D. thesis

View all (5) »