Bodil Biering

Affiliations:

According to our database¹, Bodil Biering authored at least 3 papers between 2005 and 2008.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2008

Cartesian closed Dialectica categories.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2008

2007

BI-hyperdoctrines, higher-order separation logic, and abstraction.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2007

2005

BI Hyperdoctrines and Higher-Order Separation Logic.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2005