On a monadic semantics for freshness (0)

by Mark R Shinwell, Andrew M Pitts
Venue:Theoretical Computer Science