PRL
Proof Refinement Logic. Versions: micro-PRL, lambda-PRL, nu-PRL. ["PRL: Proof Refinement Logic Programmer's Manual", CS Dept, Cornell, 1983].Last updated: 1995-01-24
Nearby terms:
Private Manual Branch eXchange ♦ privileged instruction ♦ PRL ♦ PRMD ♦ PRML
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading