Rho calculus
Reflective Higher-Order Calculus (Rho calculus) is a asynchronous message-passing calculus built on a notion of quoting.
Also Known As
Rewriting calculus
Calculus
Founded Date
2005
Key People
Related Industries
Wikidata ID
Find more entities like Rho calculus
Use the Golden Query Tool to find similar entities by any field in the Knowledge Graph, including industry, location, and more.
By using this site, you agree to our Terms of Service.