Sun Yong

• Equational characterization of binding (Extended Abstract)