Generative unbinding of names. (2008)

by A M Pitts, M R Shinwell
Venue:Logical Methods in Computer Science,