Bodil Biering

	2008
3		Bodil Biering: Cartesian closed Dialectica categories. Ann. Pure Appl. Logic 156(2-3): 290-307 (2008)
	2007
2		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		Bodil Biering, Lars Birkedal, Noah Torp-Smith: BI Hyperdoctrines and Higher-Order Separation Logic. ESOP 2005: 233-247

Coauthor Index

1	Lars Birkedal	[1] [2]
2	Noah Torp-Smith	[1] [2]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page