Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Number of items: 1.

Kumar, Ramana, Arthan, Rob, Myreen, Magnus O., Owens, Scott (2014) HOL with Definitions: Semantics, Soundness, and a Verified Implementation. In: Fifth International Conference on Interactive Theorem Proving, 14-17 July 2014, Vienna, Austria. (doi:10.1007/978-3-319-08970-6_20) (KAR id:38886)

This list was generated on Wed Apr 22 02:57:46 2026 BST.