Nuprl - PDFSEARCH.IO - Document Search Engine

Nuprl
Results: 20

#	Item
1	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 Source URL: www.barzilay.org Language: English - Date: 2003-07-04 16:21:32 Mathematics Logic Computer programming Automated theorem proving Logic programming Mathematical logic Term Substitution Principia Mathematica Free variables and bound variables Monad
2	A Model of Cubical Type Theory in Nuprl Mark Bickford Cornell University, Computer Science July 13, 2016 Add to Reading List Source URL: www.math.ias.edu - Date: 2016-07-28 14:34:55
3	Intuitionistic Completeness of First-Order Logic Robert Constable and Mark Bickford October 7, 2011 Abstract We establish completeness for intuitionistic first-order logic, iFOL, showing that is a formula Add to Reading List Source URL: www.nuprl.org - Date: 2011-10-08 01:03:35
4	Exploiting Uniformity in Substitution: the Nuprl Term Model Abhishek Anand Add to Reading List Source URL: www.math.ias.edu - Date: 2016-07-28 14:43:39
5	Quotation and Re e tion in Nuprl and S heme Eli Barzilay (eli s. ornell.edu) Contents Add to Reading List Source URL: barzilay.org Language: English - Date: 2009-07-13 03:34:39 Software engineering Computer programming Programming language theory Functional languages Biomolecules Type theory Procedural programming languages Control flow Eval Heme String literal ML
6	Proof Assistants and the Dynamic Nature of Formal Theories Robert L. Constable Cornell University Abstract Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2012-06-04 13:35:50 Mathematical logic Logic Automated theorem proving Proof assistants Theoretical computer science Logic in computer science Abstraction Nuprl Constructivism Type theory Mathematical proof Robert Lee Constable
7	Practical Reflection in Nuprl Eli Barzilay Stuart Allen Robert Constable Add to Reading List Source URL: barzilay.org Language: English - Date: 2003-03-26 22:21:47 Software engineering Programming language theory Declarative programming Automated theorem proving Logic programming Type theory Lambda calculus Formal methods Higher-order abstract syntax Nuprl Lisp Substitution
8	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 Source URL: barzilay.org Language: English - Date: 2003-07-04 16:21:32 Automated theorem proving Logic programming Integral calculus Free variables and bound variables Mathematical notation Predicate logic Substitution Term Integration by substitution Principia Mathematica
9	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 Source URL: barzilay.org Language: English - Date: 2005-09-14 17:08:59 Grammar Philosophy of language Type theory Automated theorem proving Nuprl Syntax Semantics Meaning Reflection Mathematical logic Web Ontology Language

UPDATE