Lambda cube

Initialement proposé par Henk Barendregt[1], le -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 :

Le lambda-cube.

Notes et référencesModifier

  1. (en) [PDF] Henk Barendregt, « Introduction to generalized type systems », Journal of Functional Programming, 1 (2) : 125-154, avril 1991.