BI Hyperdoctrines, Higher-Order Separation Logic, and Abstraction

Bodil Biering, Lars Birkedal, Noah Torp-Smith

    Publikation: Bog / Antologi / Rapport › Rapport › Forskning

    Fingeraftryk

    Dyk ned i forskningsemnerne om 'BI Hyperdoctrines, Higher-Order Separation Logic, and Abstraction'. Sammen danner de et unikt fingeraftryk.

    Computer Science

    Keyphrases