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)
Nearby terms:
private-key cryptography « Private Manual Branch
eXchange « privileged instruction « PRL »
PRMD » PRML » probabilistic
|