by TPHOLs '98 (1998 Canberra, A.C.T.)
This book constitutes the refereed proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '98, held in Canberra, Australia, in September/October 1998. Th…