Theorem Proving in Higher Order Logics: 18th International ...
Joe Hurd
18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings Joe Hurd Tom Melham. 8. 9. 10. 11. 12. 13. 14. 15. 16. 17. 18. 19. 20. 21. ... Thomas F. Melham. The HOL logic extended with quantification over type ...