Research outputs (52)

1. Published

   A Model of PCF in Guarded Type Theory

   Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

2. Published

   Higher-order Concurrent Abstract Predicates

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

3. Published

   Modular Reasoning about Separation of Concurrent Data Structures

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

View all (52) »

Research Activities (1)

1. LOLA 2011: Syntax and Semantics of Low-Level Languages

   Activity: Participating in or organising an event types › Organisation and participation in workshop, seminar, course