Lambda-calcul et types

Publié par : Ingenieur

Une approche possible est de faire l'opération en deux temps :. d'abord construire un terme equivalent ou aucune des abstractions n'utilise x ou l'une des variables libres. Ensuite remplacer toutes les occurrences de x par y²


Consulter un extrait ci-dessous
Publier sur Facebook Publier sur Twitter
Informations
Date :

17/01/2011


Langue :

Français


Pages :

18


Consultations :

5227


Note :
Téléchargement Gratuit
  • Votre email n'est pas valide

    Vous devez valider les conditions d'utilisation

    J'accepte les conditions d'utilisation

-->
Résumé

Auteur : Yves Bertot


Tags : Cours, Mathématiques
Sur le même thème
Vues : 7426

La Renaissance italienne, la focntion f est ses différentes affectations

Vues : 6143

Si le modèle mathématique n'admet pas de solution analytique, il est alors nécessaire de chercher une solution approchée de...

Vues : 4525

Mathematics Lessons on Introduction to Monte Carlo Algorithms

Vues : 4057

Cours de mathématiques sur Faire des mathématiques en programmant

Vues : 3249

L'informatique en classes préparatoires a pour principaux objectifs d'offrir dans le tronc commun : Une familiarisation avec...

Vues : 2499

Vous utilisez depuis longtemps des algorithmes, à  la manière de M. Jourdain, sans toujours le savoir, par exemple lorsque...

Du même contributeur
Vues : 33084

Document type de gestion des actions correctives et préventives, management de la qualité. Cette procédure définit les...

Vues : 28301

Document type pour un modèle de procédure, management de la qualité. Ce document vous permet d’organiser votre modèle de...

Vues : 19975

Document type procédure : audit interne, management de la qualité. Cette procédure définit les dispositions à prendre pour...

Vues : 14978

Document type, management de la qualité. Cette procédure définit comment gérer les enregistrements, notamment le classement...

Vues : 8494

La capacité d?augmenter le prix par rapport au prix concurrentiel (ou de le baisser dans le cas du monopsone) ? Mesurer par...

Vues : 6108

On considèrera que l’identité d’un objet (à concevoir) est incertaine lorsque, pour cet objet, il y a incertitude sur...

Commentaires
Aucun commentaire pour cette publication
Ajouter un commentaire
Envoyer
Pour envoyer la page de votre document, notez ici les emails destinataires de votre demande :
Séparez les emails par des virgules
Signaler un abus
Vous devez vous connecter ou vous inscrire pour noter un document.
Cliquez ici pour vous inscrire.
Vous devez vous connecter ou vous inscrire pour ajouter un commentaire.
Cliquez ici pour vous inscrire.
Vous devez vous connecter ou vous inscrire pour envoyer le document.
Cliquez ici pour vous inscrire.
Vous ne pouvez pas acheter de documents sur Needocs.
Vous pouvez vous référer aux conditions générales de vente et d'achat du portail pour connaître les modalités d'achat.