Monographie

Logique combinatoire et [lambda]-calcul [Texte imprimé] : des logiques d'opérateurs / Jean-Pierre Desclés, Gaëll Guibert, Benoît Sauzay

Type de contenu

• Texte

Type de médiation

• sans médiation

Titre(s)

• Logique combinatoire et [lambda]-calcul [Texte imprimé] : des logiques d'opérateurs / Jean-Pierre Desclés, Gaëll Guibert, Benoît Sauzay

A pour supplément

• Calculs de signification par une logique d'opérateurs 978-2-36493-575-4

Auteur(s)

• Desclès, Jean-Pierre

Autre(s) auteur(s)

• Guibert, Gaëll (1973-....)
• Sauzay, Benoît (1969-....)

Editeur, producteur

• Toulouse : Cépaduès-éditions, DL 2016
• (31-Toulouse; Impr. Messages)

Description matérielle

• 1 vol. (269 p.) : ill. ; 24 cm

ISBN

• 978-2-36493-530-3

EAN

• 9782364935303

Classification décimale Dewey

• 511.31 23

Note(s)

• Le mot lambda dans le titre est représenté par la lettre grecque
• Bibliogr. p. 257-262

Résumé ou extrait

• Sommaire : Langages applicatifs : présentations. Logique combinatoire. Quelques exemples illustratifs du fonctionnement des combinateurs. Algèbre des expressions combinatoires. Lambda-calcul. Logique combinatoire et paradoxes. Types et expressions combinatoires typées.

Sujet - Nom commun

• Logique combinatoire
• Linguistique -- Informatique

Lien copié.

Pour une utilisation optimale, nous vous recommandons d'utiliser les navigateurs tel que Firefox, ou Edge

Build V.5.2.2 - 2ecb916194 (29/04/2026 07:35:08)