A logical and computational theory of located resource (0)

by M Collinson, B Monahan, D Pym
Venue:Journal of Logic and Computation