Tous nos rayons

Déjà client ? Identifiez-vous

Nouveau client ?

CRÉER VOTRE COMPTE
Votre panier contient 0 article
0,00 €
Lambda-calcul, types et modèles

Librairie Eyrolles - Paris 5e
Indisponible

Lambda-calcul, types et modèles

Lambda-calcul, types et modèles

184 pages, parution le 10/04/1990

Résumé

Le lambda-calcul typé suscite un grand intérêt en raison de ses rapports étroits avec des langages de programmation et du lien qu'il établit entre les notions de programmes et de preuve en logique intuitionniste.
Sommaire :
Substitution et beta-conversion. Représentation des fonctions récursives. Types avec intersection. Typage des termes normalisables. Le théorème de Bohm. Logique combinatoire. Modèles du lambda calcul. Le système f. Arithmétique fonctionnelle du second ordre. Fonctions représentables dans le système f.
S'adresse aux 2e et 3e cycles de mathématiques et logique ; 3e cycle et chercheurs en informatique théorique.

L'auteur Jean-Louis Krivine

Jean-Louis Krivine est professeur à l'Université Paris 7, spécialiste de géométrie algébrique réelle, d'analyse fonctionnelle, de logique et d'informatique théorique. Il a créé, en 1982, l'équipe de logique mathématique, qui est l'un des plus importants laboratoires au monde dans ce domaine. Lauréat de l'Académie des Sciences en 1994 et Prix du Rayonnement français en 2004, il est l'auteur de plusieurs ouvrages de référence en logique.

Autres livres de Jean-Louis Krivine

Caractéristiques techniques du livre "Lambda-calcul, types et modèles"

  PAPIER
Éditeur(s) Elsevier-Masson
Auteur(s) Jean-Louis Krivine
Parution 10/04/1990
Nb. de pages 184
EAN13 9782225820915

Avantages Eyrolles.com

Livraison à partir de 0,01 en France métropolitaine

Paiement en ligne SÉCURISÉ

Livraison dans le monde

Retour sous 15 jours

+ d'un million de livres disponibles

satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients 0 321 79 56 75 sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925