HOL-lambdasigma: An Intentional First-Order Expression of Higher-Order Logic

Sorry, there's nothing here.

Cite this paper

@inproceedings{Dowek1999HOLlambdasigmaAI, title={HOL-lambdasigma: An Intentional First-Order Expression of Higher-Order Logic}, author={Gilles Dowek and Th{\'e}r{\`e}se Hardin and Claude Kirchner}, booktitle={RTA}, year={1999} }