Syntactic Type Soundness Results for the Region Calculus (2001)

by Cristiano Calcagno , Simon Helsen , Peter Thiemann
Venue:INFORMATION AND COMPUTATION
Citations:15 - 5 self