Syntactic type soundness results for the region calculus (0)

by Cristiano Calcagno, Simon Helsen, Peter Thiemann
Venue:Information and Computation