Browse by Journal

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

Jump to: 2020 | 2016

Number of items: 2.

2020

Abrahamsson, Oskar, Ho, Son, Kanabar, Hrutvik, Kumar, Ramana, Myreen, Magnus O., Norrish, Michael, Tan, Yong Kiam (2020) Proof-Producing Synthesis of CakeML from Monadic HOL Functions. Journal of Automated Reasoning, . ISSN 0168-7433. (doi:10.1007/s10817-020-09559-8) (KAR id:82103)

2016

Kumar, Ramana, Arthan, Rob, Myreen, Magnus O., Owens, Scott (2016) Self-Formalisation of Higher-Order Logic: Semantics, Soundness, and a Verified Implementation. Journal of Automated Reasoning, 56 (3). pp. 221-259. ISSN 0168-7433. E-ISSN 1573-0670. (doi:10.1007/s10817-015-9357-x) (KAR id:45155)

This list was generated on Tue Apr 23 23:33:51 2024 BST.