Making variables abstract: An equational theory for Russell (1983)

by A Demers, J Donahue
Venue:In Conference Record of the 10th ACM Symposium on Principles of Programming Languages