Hyper Dictionary

English Dictionary Computer Dictionary Video Dictionary Thesaurus Dream Dictionary Medical Dictionary


Search Dictionary:  

Meaning of NUPRL

 
Matching Terms:  nuprin

Computing Dictionary
 
 Definition: 

/nyu p*rl/ Nearly Ultimate PRL.

A system for interactive creation of formal mathematics, including definitions and proofs. It has an extremely rich type system, including dependent functions, products, sets, quotients and universes. Types are first-class citizens. It is built on franz lisp and edinburgh ml.

["Implementing Mathematics in the Nuprl Proof Development System", R.L. Constable et al, P-H 1986].

 

 

COPYRIGHT © 2000-2013 HYPERDICTIONARY.COM HOME | ABOUT HYPERDICTIONARY