Rho calculus

Known as: Calculus (disambiguation), Rewriting calculus

The rho-calculus is a formalism intended to combine the higher-order facilities of lambda calculus with the pattern matching of term rewriting.

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2013

Formins induce the nucleation and polymerisation of unbranched actin filaments via the formin-homology domains 1 and 2…

2010

2009

Hypothesis / aims of study This study investigated the effects of nitrosative stress on the bladder sensory function and on the…

2006

The rewriting calculus has been introduced as a general formalism that uniformly integrates rewriting and lambda-calculus. In…

2005

Herr Rudolf Ra imann iiberreichte im pfianzenphysiologischen Institute der k. k. Universitat in Wien durchgcfiihrte…

2004

The rho-calculus, also called rewriting calculus, provides an integration of rewriting and lambda-calculus in which, we can…

2002

This paper presents a programming framework that combines the concepts of objects, rules and strategies, built as an extension of…

1997

1997

1941

Die vor langerer Zeit in Angriff genommene Arbeit zur Reindarstellung des Elritzen-Schreckstoffes muste unterbrochen werden. Es…