slovo | definícia |
prl (foldoc) | PRL
Proof Refinement Logic.
Versions: micro-PRL, lambda-PRL, nu-PRL.
["PRL: Proof Refinement Logic Programmer's Manual", CS Dept,
Cornell, 1983].
(1995-01-24)
|
prl (vera) | PRL
Preferred Roaming List (CDMA)
|
| podobné slovo | definícia |
štamprle (czen) | štamprle,dramn: Zdeněk Brožštamprle,jiggern: Zdeněk Brožštamprle,totn: Zdeněk Brož |
štamprle na whisky (czen) | štamprle na whisky,jigger Zdeněk Brož |
nuprl (foldoc) | 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].
(1994-12-13)
|
prl (foldoc) | PRL
Proof Refinement Logic.
Versions: micro-PRL, lambda-PRL, nu-PRL.
["PRL: Proof Refinement Logic Programmer's Manual", CS Dept,
Cornell, 1983].
(1995-01-24)
|
dprl (vera) | DPRL
Digital Property Rights Language (Xerox)
|
prl (vera) | PRL
Preferred Roaming List (CDMA)
|
|