Back to Results
First PageMeta Content
Grammar / Philosophy of language / Type theory / Automated theorem proving / Nuprl / Syntax / Semantics / Meaning / Reflection / Mathematical logic / Web Ontology Language


IMPLEMENTING DIRECT REFLECTION IN NUPRL A Dissertation Presented to the Faculty of the Graduate School of Cornell University in Partial Fulfillment of the Requirements for the Degree of
Add to Reading List

Document Date: 2005-09-14 17:08:59


Open Document

File Size: 1,78 MB

Share Result on Facebook