Rho calculus
ರೋ-ಕ್ಯಾಲ್ಕುಲಸ್ ಎಂಬ ಹೆಸರನ್ನು ಬಳಸುವ ಎರಡು ವಿಭಿನ್ನ ಕ್ಯಾಲ್ಕುಲಿಯಗಳಿವೆಃ ಮೊದಲನೆಯದು ಲ್ಯಾಂಬ್ಡಾ ಕ್ಯಾಲ್ಕುಲಸ್ನ ಉನ್ನತ-ಕ್ರಮಾಂಕದ ಸೌಲಭ್ಯಗಳನ್ನು ಪದದ ಮರುಬರಹದ ಮಾದರಿಯೊಂದಿಗೆ ಸಂಯೋಜಿಸುವ ಉದ್ದೇಶವನ್ನು ಹೊಂದಿರುವ ಔಪಚಾರಿಕತೆಯಾಗಿದೆ. ಎರಡನೆಯದು ಅಸಿಂಕ್ರೋನಸ್ ಪಾಲಿಅಡಿಕ್ ಪೈ ಕ್ಯಾಲ್ಕುಲಸ್ನ ಪ್ರತಿಫಲಿತ ಉನ್ನತ-ಕ್ರಮಾಂಕದ ರೂಪಾಂತರವಾಗಿದೆ. ಉಲ್ಲೇಖಗಳು ಲ್ಯಾಂಬ್ಡಾ ಕ್ಯಾಲ್ಕುಲಸ್