"On a monadic semantics for freshness."

Mark R. Shinwell, Andrew M. Pitts (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics