On a monadic semantics for freshness. (2005)

by Mark R Shinwell, Andrew M Pitts
Venue:Theor. Comput. Sci,