Sciweavers

POPL
2009
ACM
15 years 10 months ago
Classical BI: a logic for reasoning about dualising resources
James Brotherston, Cristiano Calcagno