A categorical semantics of higher-order store (2002)

by J Laird
Venue:In Proceedings of CTCS ’02, number 69 in ENTCS