formels. Bien que le ?-calcul de Church et la logique combinatoire de Curry
soient extensionnellement ... Gentzen? de la logique combinatoire (voir, entre
autres, le livre de Fitch). ... mathématiques (théorie du point fixe, catégories
cartésiennes fermées et topologies de ...... A titre d'exercice, montrons que le type
syntaxique :. 
