Wiki de la FFII France
CurryHoward
PagePrincipale
::
DerniersChangements
::
DerniersCommentaires
::
ParametresUtilisateur
:: Vous êtes 216.73.216.83
Quelques liens relatifs à la correspondance de Curry-Howard
https://ladoc.ffii.fr/Curry-Howard.pdf
https://fr.wikipedia.org/wiki/Correspondance_de_Curry-Howard
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 ( durée : 73 minutes )
https://fr.wikipedia.org/wiki/Correspondance_de_Curry-Howard
Voir ausii :
LaCorrespondanceDeCurryHoward
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
Commentaires [
Cacher commentaires/formulaire
]
XHTML 1.0 valide ?
::
CSS valide ?
:: -- Fonctionne avec
WikiNi 0.5.0 (interwiki)