Wiki de la FFII France
CurryHoward
PagePrincipale
::
DerniersChangements
::
DerniersCommentaires
::
ParametresUtilisateur
:: Vous êtes ec2-44-200-168-16.compute-1.amazonaws.com
Quelques liens relatifs à la correspondance de Curry-Howard
http://ladoc.ffii.fr/Curry-Howard.pdf
https://www.college-de-france.fr/site/xavier-leroy/course-2018-12-19-10h00.htm
https://logique.lineaire.moe/tangente-curry-howard.pdf
https://fr.wikipedia.org/wiki/Correspondance_de_Curry-Howard
https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence
https://fr.wikipedia.org/wiki/Lambda-calcul
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
LaCorrespondanceDeCurryHoward
Commentaires [
Cacher commentaires/formulaire
]
XHTML 1.0 valide ?
::
CSS valide ?
:: -- Fonctionne avec
WikiNi 0.5.0 (interwiki)