J'ai eu une discussion avec un ami récemment (qui est un défenseur des langues fortement typées). Il a fait le commentaire: Les inventeurs de Lambda Calculus ont toujours voulu le taper. Maintenant , nous pouvons voir que l' église a été associée à la simplement dactylographié Calcul Lambda . En...
Dans [1], Mitchell Wand a démontré que l'ajout de fexprs au calcul lambda pur banalise la théorie de l'équivalence contextuelle, ce qui signifie que deux termes sont contextuellement équivalents s'ils sont -congruents. En explorant le travail connexe, il est allé "notre résultat prolonge une...
Maintenant , nous pouvons voir que l' église a été associée à la simplement dactylographié Calcul Lambda . En effet, il semble qu'il ait expliqué le calcul lambda simplement tapé afin de réduire les malentendus concernant le calcul lambda. Maintenant, quand John McCarthy a créé Lisp - il l'a basé...