Word:

PRL

PRL - Proof Refinement Logic.

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

["PRL: Proof Refinement Logic Programmer's Manual", CS Dept, Cornell, 1983].
Browse
Prize
Prize court
Prize fight
Prize fighter
Prize fighting
Prize master
Prize medal
prize money
prize ring
prize winner
prizefight
prizefighter
Prizeman
Prizer
prizewinning
Prizing
-- PRL --
PRMD
PRML
PRN
PRNG
Pro
Pro and con
pro bono
Pro confesso
Pro eo quod
pro forma
Pro indiviso
Pro querente
Pro rata
pro re nata
Pro tanto
pro tem
Definitions Index: # A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

About this site and copyright information - Online Dictionary Home - Privacy Policy