Rho calculus
ரோ-கால்குலஸ் என்ற பெயரைப் பயன்படுத்தும் இரண்டு வெவ்வேறு கால்குலிகள் உள்ளனஃ முதலாவது லாம்ப்டா கால்குலஸின் உயர்-வரிசை வசதிகளை சொல் மறு எழுத்தின் வடிவத்துடன் இணைக்கும் நோக்கம் கொண்ட ஒரு சம்பிரதாயமாகும். இரண்டாவது ஒத்திசைவற்ற பாலியாடிக் பை கால்குலஸின் பிரதிபலிப்பு உயர்-வரிசை மாறுபாடு ஆகும். குறிப்புகள் லாம்ப்டா கால்குலஸ்