Recherche:

Bonjour,
merci pour votre réponse.

en fait, j'essaie de programmer la réduction dans le système F, j'ai fait pas mal d'exemples a la main pour voir comment ça marche, mais après pour programmer...

Bonjour à tous,

quelqu'un peut m'aider à programmer la réduction dans le système F?

par exemple, quand on veut calculer le successeur de 3 on doit avoir comme résultat 4, ça je sais le faire à...

Bonjour,
Merci pour votre réponse.

Pour la substitution des types dans les types, il n y a aucun problème.

Pour la substitution des termes dans les termes, j'ai un petit problème lors d'une...

Bonjour à tous,

je veux implémenter le système F et je trouve des difficultés au niveau de la substitution des termes. Pour les quatre premiers cas de substitution (constante, variable,...

Bonjour,

je pense que j'ai dit quelques bêtises sur l'algorithme de substitution des termes, je corrige ça:

on veut gérer l'alpha conversion M[alpha:=A]
1)M est une constante, alors rien a...

Bonjour,

merci pour vos réponses.

Pour l'algorithme de substitution pour les termes, d’après ce que j'ai compris, il n y a pas une grande différence avec les types, donc on peut l’écrire de...

Bonjour,

je ne sais pas si je peux vous aider, mais voici ce que je propose en prolog:

Pour les termes, mais sans l'application de types et sans l'abstraction de types:


is_Term(X):-
...

Bonjour,

Vous avez raison, l'algorithme que je viens de citer concerne le lambda calcul simple et pas le système F.

1)Pour la définition des types dans le système F, on a ceci:

Les types de...

Pour la substitution des termes, je pense qu'il faut appliquer l'algorithme classique, càd:

-si t est une variable, alors t[x/u]=u si x=t et t sinon

-si t est une application (vw)alors...

Merci à tous pour ces explications.

Je trouve que ce document est très intéressant.

Ma question est:

est ce qu'il y a une différence entre l'algorithme de substitution dans le lambda calcul...

Bonjour à tous,

quelqu'un peut me donner en détails l'algorithme de substitution qu'on applique dans le système F?

Merci d'avance.