Wiki de la FFII France

CurryHoward

Quelques liens relatifs à la correspondance de Curry-Howard

LaCorrespondanceDeCurryHoward
https://ladoc.ffii.fr/Curry-Howard.pdf
https://www.college-de-france.fr/site/xavier-leroy/course-2018-12-19-10h00.htm
https://www.youtube.com/watch?v=PpkNVOBZYZY conference de Xavier LEROY au CDF 21 NOVEMBRE 2018
https://fr.wikipedia.org/wiki/Correspondance_de_Curry-Howard

https://fr.wikipedia.org/wiki/Lambda-calcul
https://fr.wikipedia.org/wiki/Jean-Louis_Krivine
https://www.irif.fr/~krivine/articles/Lambda.pdf
https://www.irif.fr/~krivine/articles/Paris-Journees-PPS-2018.pdf
https://www.irif.fr/~krivine/articles/ihp_2014.pdf
https://www.irif.fr/~krivine/articles/Cori.pdf
https://www.irif.fr/~krivine/articles/Wollic05.pdf
https://www.irif.fr/~krivine/articles/arco.pdf
https://www.youtube.com/watch?v=HT9F5QDQOEg conference de Jean-Louis KRIVINE à l'IHP 19 MAI 2014 1/2
https://www.youtube.com/watch?v=bfAUYyGtokw conference de Jean-Louis KRIVINE à l'IHP 19 MAI 2014 2/2

Il n'y a pas de commentaire sur cette page. [Afficher commentaires/formulaire]

XHTML 1.0 valide ? :: CSS valide ? :: -- Fonctionne avec WikiNi 0.5.0 (interwiki)