Vietnamese Dictionary and Translation - Từ điển và dịch tiếng Việt

Computing (FOLDOC) dictionary

PRL

Jump to user comments

Proof Refinement Logic.

Versions: micro-PRL, lambda-PRL, nu-PRL.

["PRL: Proof Refinement Logic Programmer's Manual", CS Dept,

Cornell, 1983].

(1995-01-24)

Related search result for "PRL"

Words pronounced/spelled similarly to "PRL":
PRL PIRL Perl5 Perl PEARL
Words contain "PRL":
Nuprl PRL

Comments and discussion on the word "PRL"