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