Catégories et lambda-calcul

https://www.irif.fr/~mellies/mpri-ens.html

avec une multitude de liens intéressants, notamment « Proofs and types » de Girard

Advertisements
This entry was posted in category theory, Logique, Philosophie mathématique, Science-internelle. Bookmark the permalink.