TPHOLs

AcronymDefinition
TPHOLsTheorem Proving in Higher Order Logics (conference)
References in periodicals archive ?
In Theorem Proving in Higher Order Logics (TPHOLs), volume 1690 of LNCS, pages 167-184, Nice (France), September 1999.
[2] Stefan Richter, "Formalizing integration theory with an application to probabilistic algorithms," in Proceedings of the 17th International Conference on Theorem Proving in Higher Order Logics (TPHOLs '04), K.
Or, from a mobile, text TPHOLS followed by a space and then your answer to 88100 (excludes Virgin).