Higher-order Concurrent Abstract Predicates

Kasper Svendsen, Lars Birkedal, Matthew Parkinson

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

    Original languageEnglish
    Publication statusPublished - 2013

    Cite this