Wikidata facts
- Has part
- typed lambda calculus
- Image
- Lambda Cube img.svg
Show 1 more fact
- facet of
- type constructor
Sources (1)
via Wikidata · CC0
Article · Français
Initialement proposé par Henk Barendregt, 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 : * Terme dépendant de type : le polymorphisme ; * Type dépendant de type : présence d'opérateurs de types ; * Type dépendant de terme.
Abstract from DBpedia / Wikipedia · CC BY-SA