On a monadic semantics for freshness

Mark R. Shinwell, Andrew M. Pitts. On a monadic semantics for freshness. Theoretical Computer Science, 342(1):28-55, 2005. [doi]

Abstract

Abstract is missing.