HOL-λσ: an intentional first-order expression of higher-order logic (1999)

by Gilles Dowek , Thérèse Hardin , Claude Kirchner
Citations:31 - 8 self