Linear Logic with boxes (1998)

by I Mackie
Venue:13th Annual IEEE Symp. on Logic in Computer Science (LICS