Nuprl

Known as: JohnMarkOckerbloom/Nuprl 
Nuprl is a proof development system, providing computer-mediated analysis and proofs of formal mathematical statements, and tools for software… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1986-2017
051019862017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2006
Highly Cited
2006
For twenty years the Nuprl (“new pearl”) system has been used to develop software systems and formal theories of computational… (More)
  • figure 1
Is this relevant?
2005
2005
Syntax : Syntax represented as data, similar to concrete syntax, except that irrelevant features are abstracted away. For this… (More)
  • figure 3.1
  • figure 3.3
  • figure 4.2
Is this relevant?
2002
2002
terms provide a uniform data structure for representing almost any kind of formal content. They consist of an operator identifier… (More)
  • figure 1.1
  • figure 2.1
  • figure 2.2
  • figure 4.1
  • table 4.1
Is this relevant?
1999
1999
This paper has two goals. The first is to present a formalization in Nuprl type theory of a very general methodology for system… (More)
Is this relevant?
1998
1998
Nuprl's constructive type theory, like conventional set theory , buys much of its expressive power and exibility at the cost of… (More)
Is this relevant?
1997
1997
In this paper we describe a new theorem prover architecture that is intended to facilitate mathematical sharing and modularity in… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1996
1996
We give a new semantics for Nuprl's constructive type theory that justiies a useful embedding of the logic of the HOL theorem… (More)
Is this relevant?
1996
1996
Nuprl and HOL are both tactic based interactive theorem provers for higher order logic and both have been used in many sub… (More)
Is this relevant?
1988
1988
This paper describes an implementation within Nuprl of mechanisms that support the use of Nuprl's type theory as a language for… (More)
Is this relevant?
Highly Cited
1986
Highly Cited
1986
In undergoing this life, many people always try to do and get the best. New knowledge, experience, lesson, and everything that… (More)
Is this relevant?