A Semantics for Abstraction