Rho calculus
બે અલગ અલગ કેલ્ક્યુલી છે જે રો-કેલ્ક્યુલસ નામનો ઉપયોગ કરે છેઃ પ્રથમ એક ઔપચારિકતા છે જેનો હેતુ શબ્દ પુનર્લેખનની પેટર્ન સાથે મેળ ખાતી લેમ્બડા કેલ્ક્યુલસની ઉચ્ચ-ક્રમની સુવિધાઓને જોડવાનો છે. બીજો એ એસિંક્રોનસ પોલિએડિક પાઇ કેલ્ક્યુલસનો પ્રતિબિંબીત ઉચ્ચ ક્રમનો પ્રકાર છે. સંદર્ભો લામ્બડા કલન