Syntactic type soundness for the region calculus (2000)

by Simon Helsen, Peter Thiemann
Venue:00 Higher Order Operational Techniques in Semantics, Electronic Notes in Theoretical Computer Science