Wiki de la FFII France
CurryHoward
PagePrincipale
::
DerniersChangements
::
DerniersCommentaires
::
ParametresUtilisateur
:: Vous êtes ec2-3-138-102-163.us-east-2.compute.amazonaws.com
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://fr.wikipedia.org/wiki/Correspondance_de_Curry-Howard
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
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)