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

  1. 2008
  2. Published

    Cartesian Closed Dialectica Categories

    Biering, B., 2008, In: Annals of Pure and Applied Logic. 156, p. 290-307 18 p.

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

  3. Published

    Dialectica Interpretations: A Categorical Analysis

    Biering, B., 2008, IT-Universitetet i København.

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

ID: 264902