Report - [-4mm] An Integration of HOL and ACL2 · 2011-07-07 · Higher order logic (HOL) can express pretty much anything traditional textbook denotational semantics needs higher order functions

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form