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…

2008

2004

Theoretical presentations of the ρ -calculus often treat the matching constraint computations as an atomic operation although…

2003

This paper presents the design, the implementation, and experiments of the integration of syntactic, conditional possibly…

Review

2003

Review

2003

2002

In the context of the rewriting calculus, we introduce and study an exception mechanism that allows us to express in a simple way…

2000

1999

The $\rho$-calculus is a new calculus that integrates in a uniform and simple setting first-order rewriting, $\lambda$-calculus…

1998

The uni ed modeling language UML developed under the coordination of the Object Management Group OMG is one of the most important…

1997