Lars Birkedal

Lars Birkedal

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

Information Desk: 72185000

View graph of relations

Research outputs (52)

  1. Published

    A Model of PCF in Guarded Type Theory

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  2. Published

    Higher-order Concurrent Abstract Predicates

    Research output: Book / Anthology / Report / Ph.D. thesisReportResearch

  3. Published

    Modular Reasoning about Separation of Concurrent Data Structures

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

View all (52) »

Research Activities (1)

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

    Activity: Participating in or organising an event typesOrganisation and participation in workshop, seminar, course

ID: 263566