On a monadic semantics for freshness (2005)

by Mark R. Shinwell , Andrew M. Pitts
Venue:THEORETICAL COMPUTER SCIENCE
Citations:26 - 7 self