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

Abstract

GILLES DOWEK, THERESE HARDIN and CLAUDE KIRCHNER Mathematical Structures in Computer Science / Volume 11 / Issue 01 / February 2001, pp 21 ­ 45 DOI: null, Published online: 07 March 2001 Link to this article: http://journals.cambridge.org/abstract_S0960129500003236 How to cite this article: GILLES DOWEK, THERESE HARDIN and CLAUDE KIRCHNER (2001). HOL­λσ: an intentional first­order expression of higher­order logic. Mathematical Structures in Computer Science, 11, pp 21­45 Request Permissions : Click here

Extracted Key Phrases

5 Figures and Tables

Statistics

051015'00'02'04'06'08'10'12'14'16
Citations per Year

92 Citations

Semantic Scholar estimates that this publication has 92 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Dowek2001HOLAI, title={HOL-λσ: an intentional first-order expression of higher-order logic}, author={Gilles Dowek and Th{\'e}r{\`e}se Hardin and Claude Kirchner}, journal={Mathematical Structures in Computer Science}, year={2001}, volume={11}, pages={21-45} }