Typed Higherorder Form. http://www.cs.miami.edu/∼tptp/TPTP/Proposals/THF.html (2009)

by C Benzmüller, F Rabe, A v Gelder, G Sutcliffe, C Brown