On Bunched Predicate Logic (1999)

Cached

Download Links

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