Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming (2011)

by R N S Rowe, S J van Bakel
Venue:Proceedings of 10th International Conference on Typed Lambda Calculi and Applications (TLCA’11), volume 6690 of Lecture Notes in Computer Science