Wiki de la FFII France
CurryHoward
PagePrincipale
::
DerniersChangements
::
DerniersCommentaires
::
ParametresUtilisateur
:: Vous êtes ec2-3-147-78-174.us-east-2.compute.amazonaws.com
Ceci est une version archivée de
CurryHoward
à 2024-03-10 01:51:39.
Quelques liens relatifs à la correspondance de Curry-Howard
LaCorrespondanceDeCurryHoward
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
https://www.youtube.com/watch?v=bfAUYyGtokw
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)