A Semantical Storage Operator Theorem for All Types.

Christophe Raffalli A Semantical Storage Operator Theorem for All Types. 17-31 1998 91 Ann. Pure Appl. Logic 1 db/journals/apal/apal91.html#Raffalli98