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 - 2 out of 2Page size: 10
  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 Journal › Journal article › Research › peer-review

  3. Published

    Dialectica Interpretations: A Categorical Analysis

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

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

ID: 264902