A RIGOROUS MODEL OF OBJECT REFERENCE, IDENTITY, AND EXISTENCE
William Kent · 1994
The essence of identity is the determination whether two references are to the same thing. A formal model of reference and identity can be based on the denotations of occurrences of symbols in a computational system. The model applies to explicitly created objects as well as mathematical