Sciweavers

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