La Correspondance de Curry-Howard
- https://www.college-de-france.fr/site/xavier-leroy/course-2018-2019.htm
- https://www.college-de-france.fr/fr/agenda/cours/programmer-demontrer-la-correspondance-de-curry-howard-aujourd-hui/polymorphisme-tous-les-etages-du-systeme-f-au-calcul-des-constructions
- https://perso.telecom-paristech.fr/bellot/MITRO202/ch.pdf
- https://www.xn--pdrot-bsa.fr/slides/inria-junior-02-15.pdf
- https://fr.wikipedia.org/wiki/Correspondance_de_Curry-Howard
- https://fr.wikipedia.org/wiki/Haskell_Curry
- https://fr.wikipedia.org/wiki/William_Alvin_Howard
- https://fr.wikipedia.org/wiki/Jean-Louis_Krivine
- https://wiki.haskell.org/Curry-Howard-Lambek_correspondence
- http://ladoc.ffii.fr/Curry-Howard.pdf
- CurryHoward