On bunched predicate logic (1999)

by D Pym
Venue:in ‘Proceedings of the 14th Symposium on Logic in Computer Science (LICS99