Back to Results
First PageMeta Content
Mathematical logic / Metalogic / Logic / Model theory / Logic in computer science / Proof theory / Proof assistants / Programming language semantics / HOL / Operational semantics / Gdel's completeness theorem / Type theory


HOL with Definitions: Semantics, Soundness, and a Verified Implementation Ramana Kumar1 , Rob Arthan2 , Magnus O. Myreen1 , and Scott Owens3 2 1
Add to Reading List

Document Date: 2014-04-20 08:49:44

Open Document

File Size: 290,74 KB

Share Result on Facebook
UPDATE