NuPRL - PDFSEARCH.IO - Document Search Engine

NuPRL
Results: 20

#	Item
11	Nuprl's Inductive Logical Forms Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-09-02 07:29:35 Type theory Mathematical logic Logic Hierarchy Structure Reasoning Automated theorem proving Epistemology Inductive reasoning Nuprl Logic programming
12	Verifying Chain Replication using Events Mark Bickford September 20, 2006 1 Add to Reading List Source URL: www.nuprl.org Language: English - Date: 2006-09-25 17:34:10
13	A Proof Environment for the Development of Group Communication Systems Christoph Kreitz Mark Hayden Jason Hickey Add to Reading List Source URL: www.nuprl.org Language: English - Date: 2001-12-11 16:42:22
14	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: www.barzilay.org Language: English - Date: 2005-09-14 17:08:59
15	PDF Document Add to Reading List Source URL: www.nuprl.org Language: English - Date: 2006-09-26 19:24:40
16	An Executable Formalization of the HOL/Nuprl Connection in Twelf Carsten Sch¨ urmann1 Add to Reading List Source URL: www.itu.dk Language: English - Date: 2004-12-06 10:57:56
17	Innovations in Computational Type Theory using Nuprl S. F. Allen, M. Bickford, R. L. Constable, R. Eaton, C. Kreitz, L. Lorigo, E. Moran Department of Computer Science, Cornell-University, Ithaca, NY[removed] {sfa,mark Add to Reading List Source URL: www.nuprl.org Language: English - Date: 2005-06-21 10:54:34 Type theory Logic in computer science Dependently typed programming Computability theory Intuitionistic type theory Curry–Howard correspondence Natural deduction Lambda calculus Combinatory logic Mathematics Logic Mathematical logic
18	PDF Document Add to Reading List Source URL: www.nuprl.org Language: English - Date: 2012-02-02 15:56:23 Logic Type theory Combinatory logic Intuitionistic type theory Robert Lee Constable FO Theoretical computer science Mathematical logic Logic in computer science
19	PDF Document Add to Reading List Source URL: www.nuprl.org Language: English - Date: 2003-02-11 11:01:04 Model theory Equivalence relation FO Function Equality Type theory If and only if Type Finitary relation Mathematics Mathematical logic Logic
20	PDF Document Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2004-12-07 23:48:09 Computational linguistics NuPRL Proof theory Robert Lee Constable Mathematical proof Lattice Sequence alignment Speech recognition Abstract algebra Mathematics Science