HOL Constant Definition Done Right Rob Arthan Lemma 1 Ltd. School of Electronic Engineering and Computer Science, Queen Mary, University of London, UK Abstract. This note gives a proposal for a simpler and more powerfu - Queen Mary, University of London - Document - PDFSEARCH.IO

First Page	Meta Content
	HOL Constant Definition Done Right Rob Arthan Lemma 1 Ltd./ School of Electronic Engineering and Computer Science, Queen Mary, University of London, UK Abstract. This note gives a proposal for a simpler and more powerfu Add to Reading List Document Date: 2014-04-21 11:45:28 Open Document File Size: 193,83 KB Share Result on Facebook Company Definition Done Right Rob Arthan Lemma 1 Ltd. / / Country United Kingdom / / Facility University of London / / IndustryTerm binary products / / Organization School of Electronic Engineering and Computer Science / University of London / / Person Michael Norrish / Scott Owens / Makarius Wenzel / Magnus Myreen / Ramana Kumar / John Harrison / Mary / Roger Jones / Mark Adams / Konrad Slind / / Position Queen / / URL http / SocialTag Logic in computer science HOL Type theory Function Axiom Isabelle Axioms of set theory Mathematics Mathematical logic Logic

HOL Constant Definition Done Right Rob Arthan Lemma 1 Ltd./ School of Electronic Engineering and Computer Science, Queen Mary, University of London, UK Abstract. This note gives a proposal for a simpler and more powerfuAdd to Reading List