Type Preservation as a Confluence Problem. - Aaron Stump; Garrin Kimmell; Roba El Haj Omar (RTA, 2011)

A Rewriting View of Simple Typing - Aaron Stump; Hans Zantema; Garrin Kimmell; Roba El Haj Omar (Log. Methods Comput. Sci., 2012)