Sémantique computationnelle avec la programmation fonctionnelle Jan van Eijck et Christina Unger est un manuel en anglais qui se concentre sur la sémantique computationnelle et la programmation fonctionnelle. Ce livre est destiné aux étudiants et aux professionnels qui veulent comprendre comment le sens du langage naturel peut être calculé à l’aide de la programmation fonctionnelle.
Le livre traite du processus permettant de calculer le sens en combinant les significations de mots individuels. Il utilise le langage de programmation Haskell pour expliquer à la fois le sens dénotationnel (d’où le sens découle des conditions de vérité dans des situations) et le sens opérationnel (où le sens sert d’instruction pour des actions cognitives).
Ce texte offre une introduction approfondie à la sémantique computationnelle et montre comment calculer le sens à l’aide de concepts de programmation fonctionnelle. En mettant l’accent sur les développements récents en logique, il est précieux pour les étudiants en linguistique, en logique, en philosophie et en programmation fonctionnelle qui souhaitent découvrir des applications pratiques de ces domaines.
Le livre fait le lien, sur le plan du contenu, avec des sujets comme la programmation fonctionnelle, les ordinateurs/programmation et les applications professionnelles dans le domaine du calcul.