Possible worlds and resources: The semantics of BI (0)

by D J Pym, P O’Hearn, H Yang
Venue:Theoretical Computer Science