Lambda cube
# Lambda cube

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

* Terme dépendant de type : le polymorphisme ;
* Type dépendant de type : présence d'opérateurs de types ;
* Type dépendant de terme.
