Gilles Dowek, Thérèse Hardin, Claude Kirchner. HOL-$\lambda \sigma$ an intentional first-order expression of higher-order logic.
Tenth International Conference on Rewriting Techniques & Applications - RTA'99, Jul 1999, Trento, Italy, 14 p.
⟨inria-00098847⟩