PCF with heap: syntax and semantics.
CPCF with heap: syntax and semantics.