Theorem proving in higher order logics : 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings - Carreno, Victor A.; Munoz, César A.; Tahar, Sofiène (Lecture notes in computer science, 2002)