A categorical semantics of higher-order store (2002)

by J Laird
Venue:Proc. CTCS ’02, Electr. Notes in Theor. Comp. Sci. 69