Extrait 1530 Logique Combinatoire Et (Lambda) Calcul Des Logiques D'opérateurs

Logique Combinatoire et λ-Calcul : des logiques d’opérateurs Jean-Pierre Desclés Gaëll Guibert Benoît Sauzay Cépaduès-Éditions 111, rue Nicolas Vauquelin 31100 Toulouse – France Tél. : 05 61 40 57 36 – Fax : 05 61 41 79 89 www.cepadues.com Courriel :... More

Logique Combinatoire et λ-Calcul : des logiques d’opérateurs Jean-Pierre Desclés Gaëll Guibert Benoît Sauzay Cépaduès-Éditions 111, rue Nicolas Vauquelin 31100 Toulouse – France Tél. : 05 61 40 57 36 – Fax : 05 61 41 79 89 www.cepadues.com Courriel : cepadues@cepadues.com Coordonnées GPS en WGS 84 N 43° 34’43,2’’ E 001° 24’21,5’’ Less