by Isaac DeFrain | Aug 30, 2018 | Learn

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...
by Isaac DeFrain | Aug 21, 2018 | Learn

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...
by Isaac DeFrain | Aug 15, 2018 | Learn

Overview Greg Meredith has been teaching a weekly course called Introduction to the Design of Computational Calculi (DoCC) to explain the foundations of mathematical models of grammar, how computational calculi are used in the RChain project, and how to design...
by Jeremy Beal | Jul 17, 2018 | Learn

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