Bodil Biering

Publication Activity (10 Years)

Years Active: 2005-2008
Publications (10 Years): 0

Publications

Bodil Biering
Cartesian closed Dialectica categories. Ann. Pure Appl. Log. 156 (2-3) (2008)
Bodil Biering, Lars Birkedal, Noah Torp-Smith
BI-hyperdoctrines, higher-order separation logic, and abstraction. ACM Trans. Program. Lang. Syst. 29 (5) (2007)
Bodil Biering, Lars Birkedal, Noah Torp-Smith
BI Hyperdoctrines and Higher-Order Separation Logic. ESOP (2005)