Well, pretty sure you can give a lambda denotation of those. Just start by implementing an interpreter in lamda-calculus ;p
btw, variants of the lambda calculus do exist where some values (so-called “reference cells”) are object identities. But a value cannot be a lambda abstraction and a reference cell at the same time.