Concept

Lambda cube

Résumé
thumb|Le 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.
Notes et références Catégorie:Calculabilité Catégorie:Théorie des types
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Publications associées

Chargement

Personnes associées

Chargement

Unités associées

Chargement

Concepts associés

Chargement

Cours associés

Chargement

Séances de cours associées

Chargement