Skip to main content

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

Kumar, Ramana, Arthan, Rob, Myreen, Magnus O., 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. pp. 308-324. Springer (doi:10.1007/978-3-319-08970-6_20)

PDF (The final publication is available at - Author's Accepted Manuscript
Download (231kB) Preview
Official URL
Item Type: Conference or workshop item (Paper)
DOI/Identification number: 10.1007/978-3-319-08970-6_20
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: 29 May 2019 12:01 UTC
Resource URI: (The current URI for this page, for reference purposes)
  • Depositors only (login required):


Downloads per month over past year