Syntactic type soundness for the region calculus (2000)

by S Helsen, P Thiemann
Venue:In Proceedings of the 4th International Workshop on Higher Order Operational Techniques in Semantics (HOOTS’00), volume 41 of Electronic Notes in Theoretical Computer Science