Adding blog posts - Githubissues

RChain-Collaborative-Learning / Introduction-to-the-Design-of-Computational-Calculi

8 stars 2 forks source link

Adding blog posts #7

Closed Isaac-DeFrain closed 3 years ago

Isaac-DeFrain commented 5 years ago

There are three introductory articles about lambda-calculus, pi-calculus, and rho-calculus and notes for the first three lectures. I'll be adding the rest as I create them.