Stem rho$ (all stems)

6 papers:

RTA-2012-Kirchner #calculus #logic

Rho-Calculi for Computation and Logic (Invited Talk) (CK), pp. 2–4.

VLDB-2010-CaoKRT #named #transaction

rho-uncertainty: Inference-Proof Transaction Anonymization (JC, PK, CR, KLT), pp. 1033–1044.

WRLA-J-2004-CirsteaFK07 #calculus #constraints

A rho-calculus of explicit constraint application (HC, GF, CK), pp. 37–72.

WRLA-2006-CirsteaHW07 #calculus

Distributive rho-calculus (HC, CH, BW), pp. 95–111.

WRLA-2004-CirsteaFK05 #calculus #constraints

A rho-Calculus of Explicit Constraint Application (HC, GF, CK), pp. 51–67.

FoSSaCS-2001-CirsteaKL

The Rho Cube (HC, CK, LL), pp. 168–183.