It is proposed that this article be deleted because of the following concern:Non-notable, under-sourced (proposed by Wound theology) If you can address this concern by improving, copyediting, sourcing, renaming, or merging the page, please edit this page and do so. You may remove this message if you improve the article or otherwise object to deletion for any reason. Although not required, you are encouraged to explain why you object to the deletion, either in your edit summary or on the talk page. If this template is removed, do not replace it. The article may be deleted if this message remains in place for seven days, i.e., after 06:18, 25 June 2024 (UTC). If you created the article, please don't be offended. Instead, consider improving the article so that it is acceptable according to the deletion policy.Find sources: "Rho calculus" – news · newspapers · books · scholar · JSTORPRODExpired+%5B%5BWP%3APROD%7CPROD%5D%5D%2C+concern+was%3A+Non-notable%2C+under-sourcedExpired [[WP:PROD|prod]], concern was: Non-notable, under-sourced Nominator: Please consider notifying the author/project: ((subst:proposed deletion notify|Rho calculus|concern=Non-notable, under-sourced)) ~~~~

There are two different calculi that use the name rho-calculus:

References

  1. ^ Gabbay, Dov M.; Siekmann, Jörg H.; Woods, John (9 December 2014). Computational Logic. Newnes. p. 272. ISBN 978-0-08-093067-1. Retrieved 19 June 2024.
  2. ^ Meredith, L. G.; Radestock, Mattias (22 December 2005). "A Reflective Higher-Order Calculus". Electronic Notes in Theoretical Computer Science. 141 (5): 49–67. doi:10.1016/j.entcs.2005.05.016.