Nuprl

Also found in: Wikipedia

0.01 sec.

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

Want to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit the webmaster's page for free fun content.

?Page tools

Printer friendly
Cite / link

Feedback

Mentioned in	?		References in periodicals archive	?		Encyclopedia browser	?		Full browser	?
No references found			Constable has given a constructive formalization of some important concepts of automata using Nuprl. Refinement in formal proof of equivalence in morphisms over strongly ... by Zafar, Nazir Ahmad; Hussain, Ajmal; Ali, Amir / Journal of Software Engineering and Applications (JSEA)			Nunavut Parks Nunc Dimittis Nuncio nuncio, apostolic Nuneaton Nuneaton and Bedworth Nunes, Pedro Núñez Cabeza de Vaca, Álvar Nunez Jimenez, Antonio Núñez Jiménez, Antonio Núñez Vela, Blasco Núñez, Rafael Nung Nunivak Nunkiang Nunn Nunn, Sam nunnery Nuno Goncalves Nuño Gonçalves nuns' choir NUON Nupe Nuphar nuplex Nuprl nuptial Nur ad-Din Nur al-Hilmi, Burhanuddin bin Muhammad Nur Baian Nur Galimovich Baian Nur Muhammad Taraki Nur Sutan Iskandar Nura Nuraddin nuraghe Nuraghi Nurali, Biashim Nurali, Biashim Iusupovich Nurata Nuratau NURB Nurberdyev, Pomma nurbs Nurdin Dzhamaldinovich Muzaev Nurdin Muzaev Nurdzhanov, Nizam Nurdzhanov, Nizam Khabibullaevich Nureddin Nureddin Atassi Nurek			NuPECC NUPENG Nuper obiit Nupercainal Nupes Nupes NUPF NUPGE Nuphar Nuphar Nuphar advena Nuphar advenum Nuphar lutea Nuphar lutea Nuphar luteum Nuphar sagittifolium NUPHI NUPI NUPIC NUPL nuplex NUPN NUPOC NUPP NUPRG NUPRI Nuprin Nuprin Nuprin Nuprl NUPS NUPSA NUPSE Nupson NUPSW NUPT nuptiae nuptial nuptial nuptial nuptial agreements nuptial bond Nuptial feeding Nuptial feeding Nuptial feeding Nuptial feeding nuptial state nuptial tie nuptialis nuptially nuptially nuptially nuptials nuptials nuptials Nuptias non concubitas Nuptse NUPU NUPW NUQQ

Encyclopedia

Free Tools:	For surfers: Free toolbar & extensions \| Word of the Day \| Help For webmasters: Free content \| Linking \| Lookup box \| Double-click lookup

Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.