Retour au catalogue![Logique combinatoire et [lambda]-calcul : des logiques d'opérateurs](/_next/image?url=https%3A%2F%2Fapi-next.livrezone.com%2Fbook-cover-proxy%2Fthumbnails%2F160%2F9782364935303.webp&w=3840&q=75)
Logique combinatoire et [lambda]-calcul : des logiques d'opérateurs
De Jean-Pierre Desclès, Gaëll Guibert, Benoît Sauzay
ISBN-13
9782364935303
Éditeur
Cépaduès-éditions (Toulouse)
Date de publication
01/01/2016
Résumé
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 composi
0 annonce en vente actuellement
