Home

Foundational Calculi for Programming Languages (intro)

Since pi calculus is a hot topic lately, Pierce's Foundational Calculi for Programming Languages might be of interest as an introduction. It very briefly introduces and justifies foundational calculi in general, spends about 10 pages on lambda calculus, then builds on that with another 7 pages on pi calculus.

By Anton van Straaten at 2005-03-16 08:16 | Lambda Calculus | Parallel/Distributed | other blogs | 7668 reads