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...