%0 Conference Proceedings
%F brotherston2007
%A Brotherston, James
%T Formalised Inductive Reasoning in the Logic of Bunched Implications
%B SAS
%P 87-103
%U http://www.diku.dk/hjemmesider/ansatte/henglein/papers/brotherston2007.pdf
%U http://dx.doi.org/10.1007/978-3-540-74061-2_6
%D 2007
%K coinduction