HOL with Definitions: Semantics, Soundness, and a Verified Implementation

Kumar, Ramana and Arthan, Rob and Myreen, Magnus O. and Owens, Scott (2014) HOL with Definitions: Semantics, Soundness, and a Verified Implementation. In: Interactive Theorem Proving: Fifth International Conference, ITP 2014. Lecture Notes in Computer Science, 8558. Springer pp. 308-324. (doi:https://doi.org/10.1007/978-3-319-08970-6_20) (Full text available)

PDF (The final publication is available at link.springer.com.) - Author's Accepted Manuscript
Download (231kB) Preview
Official URL
Item Type: Conference or workshop item (Paper)
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Sciences > School of Computing > Programming Languages and Systems Group
Depositing User: Scott Owens
Date Deposited: 24 Mar 2014 12:06 UTC
Last Modified: 18 Jan 2017 03:20 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/38886 (The current URI for this page, for reference purposes)
  • Depositors only (login required):


Downloads per month over past year