Constructive Computation Theory
A course on pure lambda-calculus. This is an executable course, implemented in Pidgin ML, which is a core subset of the Objective Caml programming language under the so-called revised syntax.
[ Homepage ]
| Author: | Gérard Huet. |
| Last modification date: | 29-Aug-2011 |
| Development status: | Stable |
| Kind: | Documentations :: Courses |
| Homepage: | http://pauillac.inria.fr/~huet/CCT/ |