« [ Back to Home ] »
<< Return to Computer Dictionary Home

Computer Dictionary Online

Search Computer Term Definition

Web	Bestonlinedictionary.com

[ Home ] [ Law Dictionary ] [ Medical Dictionary ] [ Computer Dictionary ]

A to Z Computer Terms Dictionary, Definitions Search

| 0-9 | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q |
| R | S | T | U | V | W | X | Y | Z |

Nuprl 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].

(1994-12-13)

Nearby terms: numbers « number sign « Numeris « Nuprl » NU-Prolog » nurbs » Nu Thena

<< Return to Computer Dictionary Home Page

computer dictionary, computer terms dictionary, online computer dictionary, computer definition dictionary online, microsoft computer dictionary fifth edition, computer lingo dictionary, computer terminology dictionary, computer computer dictionary dictionary internet internet terms terms, barrons business computer dictionary dictionary internet terms, abbreviation computer dictionary lingo, computer dictionary edition new tenth websters world, computer dictionary with terms and definition, computer science dictionary, american computer dictionary house language random sign websters, dictionary computer internet terms, microsoft computer dictionary, computing dictionary

[ Home ] [ Law Dictionary ] [ Medical Dictionary ] [ Computer Dictionary ]

Advertisers : www.hobbyprojects.com, www.sciencelobby.com, www.hotgamecheater.com,
www.indianfoodrecipes.net, www.joyeemukherjee.com, www.beautytipsforwomen.net

Best Online Dictionary .com