Computational calculus primer Part 3: ρ-calculus

Computational calculus primer Part 3: ρ-calculus

Overview We saw in the previous post that π-calculus is a process calculus which is dependent on a theory of names; it is therefore said that it is not a closed theory. The ρ-calculus is an asynchronous message-passing calculus built on a notion of quoting; it is a...
Computational calculi primer Part 2: π-calculus

Computational calculi primer Part 2: π-calculus

Overview The first post in this series covered grammar and operational semantics for λ-calculus.   Our interest in π-calculus lies in the fact that it is the precursor of ρ-calculus. It is a model of concurrent computation, or more specifically, a process calculus...
Introduction to rho calculus

Introduction to rho calculus

Hey, devs and future devs! This post is to help everyone get a basic understanding of Reflective Higher-Order Calculus (rho-calc), and understand why RChain uses this calculus model to build and solve blockchain scalability and security. Computational mathematics in...