Linear Logic with boxes (1998)

by Ian Mackie
Venue:In Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS