ITU
Bodil Biering

Bodil Biering

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

Information Desk: 72185000

View graph of relations

Research outputs (2)

  1. Published

    Cartesian Closed Dialectica Categories

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

  2. Published

    Dialectica Interpretations: A Categorical Analysis

    Research output: Book / Anthology / Report / Ph.D. thesisPh.D. thesisResearch

ID: 264902