Making Variables Abstract: An Equational Theory for Russell.

Alan J. Demers, James E. Donahue

Browse the full POPL paper archive.