Back to Results
First PageMeta Content
Automated 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 o
Add to Reading List

Document Date: 2003-07-04 16:21:32


Open Document

File Size: 164,88 KB

Share Result on Facebook
UPDATE