Les livres de l'auteur jean pierre descles

Logique Combinatoire et (lambda)-Calcul : des logiques d'opérateurs
Editeur : CEPADUES
Année : 02/2016

Le but de cet ouvrage est de présenter la Logique Combinatoire développée principalement par Curry. Pour les auteurs, la Logique Combinatoire est pensée comme une logique d'opérateurs, de composition et de transformations intrinsèques d'opérateurs où la seule opération de base est l'application d'un opérateur à un opérande.
[lire la quatrième du livre Logique Combinatoire et (lambda)-Calcul : des [...]]

22,00 €
Disponible expédié
sous 4 à 8 jours


Controler les cookies