C

CCT

This repository contains the course notes of Gérard Huet "Constructive Computation Theory" on lambda calculus.