Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings - Mohamed, Otmane Ait; Muñoz, César; Tahar, Sofiène (Springer Berlin Heidelberg : Imprint: Springer, 2008)