Matches in DBpedia 2014 for { <http://dbpedia.org/resource/NuPRL> ?p ?o. }
Showing items 1 to 28 of
28
with 100 items per page.
- NuPRL abstract "NuPRL is a higher-order proof development system developed at Cornell University. It was founded by Joseph L. Bates and Robert L. Constable in 1979 and, since then, many have contributed to the development of NuPRL.Nuprl is a computer system which provides assistance with logical problem solving. It supports the interactive creation of proofs, formulas, and terms in a formal theory of mathematics; with it one can express concepts associated with definitions, theorems, theories, books and libraries. Moreover, the theory is sensitive to the computational meaning of terms, assertions and proofs, and the system can carry out the actions used to define that computational meaning. Thus Nuprl includes a programming languages, but in a broader sense it is a system for implementing mathematics.Nuprl's logic is a constructive type theory called Computational Type Theory (CTT). It allows users to reason about events including protocols for distributed computing.".
- NuPRL wikiPageExternalLink www.nuprl.org.
- NuPRL wikiPageID "4206120".
- NuPRL wikiPageRevisionID "598744721".
- NuPRL hasPhotoCollection NuPRL.
- NuPRL subject Category:Dependently_typed_languages.
- NuPRL subject Category:Proof_assistants.
- NuPRL subject Category:Proof_theory.
- NuPRL type Assistant109815790.
- NuPRL type CausalAgent100007347.
- NuPRL type LivingThing100004258.
- NuPRL type Object100002684.
- NuPRL type Organism100004475.
- NuPRL type Person100007846.
- NuPRL type PhysicalEntity100001930.
- NuPRL type ProofAssistants.
- NuPRL type Whole100003553.
- NuPRL type Worker109632518.
- NuPRL type YagoLegalActor.
- NuPRL type YagoLegalActorGeo.
- NuPRL comment "NuPRL is a higher-order proof development system developed at Cornell University. It was founded by Joseph L. Bates and Robert L. Constable in 1979 and, since then, many have contributed to the development of NuPRL.Nuprl is a computer system which provides assistance with logical problem solving.".
- NuPRL label "NuPRL".
- NuPRL sameAs m.0bpy1p.
- NuPRL sameAs Q7067707.
- NuPRL sameAs Q7067707.
- NuPRL sameAs NuPRL.
- NuPRL wasDerivedFrom NuPRL?oldid=598744721.
- NuPRL isPrimaryTopicOf NuPRL.