Mentions légales du service

Skip to content

GitLab

Explore

Sign in

Gérard Huet
CCT

C

CCT

8 Commits
2 Branches
0 Tags

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

Download source code
zip

tar.gz

tar.bz2

tar

Copy SSH clone URLgit@gitlab.inria.fr:huet/cct.git
Copy HTTPS clone URLhttps://gitlab.inria.fr/huet/cct.git

README
GNU General Public License v2.0 or later