[GdT Log&Prog] [SEMINAIRE LCR] Damiano Mazza, 23/06/2017 11:00

PETITE INTRODUCTION À LA LOGIQUE CATÉGORIQUE Damiano Mazza, LIPN Salle B107, bâtiment B, Université de Villetaneuse 23/06/2017 11:00 - 12:30 Résumé : On entend dire parfois que le lambda-calcul est "le langage interne des catégories cartesiennes fermées". Le "langage interne" d'une catégorie est une notion très générale (mais, à vrai dire, pas tout à fait formelle) de logique catégorique. Dans cet exposé, j'introduirai les concepts de base pour comprendre cette notion et expliquer comment elle est reliée à la sémantique dénotationnelle.