PRL




Proof Refinement Logic.

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

["PRL: Proof Refinement Logic Programmer's Manual", CS Dept, Cornell, 1983].



< Previous Terms Terms Containing PRL Next Terms >
Private Automatic Branch eXchange
Private Branch Exchange
private-key cryptography
Private Manual Branch eXchange
privileged instruction
LIFE
Nuprl
PRL
TLAs
University of Edinburgh
PRMD
PRML
probabilistic
probabilistic automaton
Probe