A Unifying Model of Variables and Names.

Marino Miculan, Kidane Yemane

Browse the full FOSSACS paper archive.