spaces as a semantic bridge between linear logic and mathematics (2003)

by Chu
Venue:Theoretical Computer Science