Syntactic type soundness results for the region calculus (2002)

by C Calcagno, S Helsen, P Thiemann
Venue:Information and Computation