Publications from the Frege Language project