T.: On phase semantics and denotational semantics: the exponentials (2001)

by A Bucciarelli, Ehrhard
Venue:Annals of Pure and Applied Logic 109