Lambda cube

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

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.