User loginNavigation |
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 | 7193 reads
|
Browse archivesActive forum topics |
Recent comments
7 weeks 3 hours ago
7 weeks 1 day ago
7 weeks 3 days ago
14 weeks 3 days ago
20 weeks 1 day ago
20 weeks 2 days ago
21 weeks 1 day ago
23 weeks 6 days ago
25 weeks 2 days ago
25 weeks 2 days ago