@TechReport{popescu-rosu-2006-tr-b, author = {Andrei Popescu and Grigore Ro\c{s}u}, title = "{GFOL: a Term-Generic Logic for Defining Lambda-Calculi }", institution = {Department of Computer Science, University of Illinois at Urbana-Champaign}, Number = {UIUCDCS-R-2006-2756}, Year = {2006} }