Rholang is a behaviorally typed, concurrent programming language formally modeled by Rho-calculus.
Whitepaper
RChain Team
https://docs.google.com/gview?url=https://github.com/rchain/reference/raw/master/docs/RChainWhitepaper.pdf