On a monadic semantics for freshness (0)

by M R Shinwell, A M Pitts
Venue:Theoretical Computer Science