Lambda cube

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
image illustrant la logique
Cet article est une ébauche concernant la logique.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

Initialement proposé par Henk Barendregt[1], le \lambda-cube permet de visualiser les différentes dimensions pour lesquelles le Calcul des constructions apporte une généralisation par rapport au lambda-calcul simplement typé où un terme ne peut dépendre que d'un autre terme. Chaque axe représente une nouvelle forme d'abstraction :

Notes et références[modifier | modifier le code]

  1. Henk Barendregt, Introduction to generalized type systems, Journal of Functional Programming, 1(2):125-154, April 1991.