A unifying model of variables and names (2005)

by Marino Miculan , Kidane Yemane
Venue:Foundations of Software Science and Computational Structures, vol. 3441, Lect. Notes in Comp. Sci
Citations:13 - 3 self