On Bunched Predicate Logic (1999)

View PDF

Download Links

by David J. Pym
Venue:Proceedings of the IEEE Symposium on Logic in Computer Science
Citations:30 - 17 self