Rho calculus
دو مختلف کیلکولی ہیں جو رو-کیلکولس کا نام استعمال کرتے ہیں: پہلا ایک رسمی عمل ہے جس کا مقصد لیمبڈا کیلکولس کی اعلی ترتیب کی سہولیات کو اصطلاح کی دوبارہ تحریر کے نمونے کے ساتھ جوڑنا ہے۔ دوسرا اسنکرونس پولیڈیک پائی کیلکولس کا ایک عکاس اعلی آرڈر ورژن ہے۔ حوالہ جات لیمبڈا کیلکولس