Resource Models and Proofs in Bunched Implications Logic
Colloque sur invitation. internationale.