Title: Structure and representation in LF