Antonio Bucciarelli Thomas Ehrhard On phase semantics and denotational semantics: the exponentials. 205-241 2001 109 Ann. Pure Appl. Logic 3 db/journals/apal/apal109.html#BucciarelliE01