related documents Semantics of pointers, referencing and dereferencing with intensional logic Conferences