![Automated theorem proving / Logic programming / Integral calculus / Free variables and bound variables / Mathematical notation / Predicate logic / Substitution / Term / Integration by substitution / Principia Mathematica Automated theorem proving / Logic programming / Integral calculus / Free variables and bound variables / Mathematical notation / Predicate logic / Substitution / Term / Integration by substitution / Principia Mathematica](https://www.pdfsearch.io/img/85e37822f214b326085c43211c1f0f14.jpg) Date: 2003-07-04 16:21:32Automated theorem proving Logic programming Integral calculus Free variables and bound variables Mathematical notation Predicate logic Substitution Term Integration by substitution Principia Mathematica | | Reflecting Higher-Order Abstract Syntax in Nuprl? Eli Barzilay and Stuart Allen Cornell University {eli,sfa}@cs.cornell.edu Abstract. This document describes part of an effort to achieve in Nuprl a practical reflection oAdd to Reading ListSource URL: barzilay.orgDownload Document from Source Website File Size: 164,88 KBShare Document on Facebook
|