Médiagraphie

Les personnes étudiantes sont invitées à consulter les ressources pédagogiques complémentaires suivantes:

• Notes de cours du cours 15-317: Constructive Logic, par Frank Pfenning. Disponible en ligne, seulement en anglais.
• Notes de cours du cours 15-816: Substructural Logics, par Frank Pfenning. Disponible en ligne, seulement en anglais.
• Lectures on the Curry-Howard Isomorphism, par Morten Heine Sørensen and Pawe Urzyczyn. Seulement en anglais.
• Proofs and Types, par Jean-Yves Girard, Paul Taylor et Yves Lafont. Disponible en ligne, seulement en anglais.
• Facettes de la logique formelle, par Thierry Lucas. Disponible à la bibliothèque de l’UQAM.
• Proof Theory and Logic Programming, par Dale Miller. Disponible en ligne, seulement en anglais.