Title: An equational formulation of LF