Sciweavers

Share
ESOP
2005
Springer

BI Hyperdoctrines and Higher-Order Separation Logic

10 years 7 months ago
BI Hyperdoctrines and Higher-Order Separation Logic
Bodil Biering, Lars Birkedal, Noah Torp-Smith
Added 27 Jun 2010
Updated 27 Jun 2010
Type Conference
Year 2005
Where ESOP
Authors Bodil Biering, Lars Birkedal, Noah Torp-Smith
Comments (0)
books