Re : logique combinatoire typée
bur...@math.jussieu.fr
Oui c'est ça, mais c'est juste le début. En fait, là où je suis je
n'ai pas de docu, j'ai bêtement un peu paniqué. Je me suis rappelé un
peu plus tard que c'est quelque chose que j'ai vu autrefois dans un
livre de Hindley et seldin et ailleurs je crois.
Puisque j'y suis, je te donne la raison de ma question : je suis tombé
sur une situation de quelque chose d'algébrique et en même temps de
typé, alors comme la Logique comb. est un truc parfaitement algébrique
et que le lambda calcul est typable, je voulais voir si il n'y a pas
un concept général à mettre au point derrière tout ça.
Et puis, peut-être, j'avais un peu envie de voir si le Catsinfo
marchait toujours. Je vois que tout n'est pas rouillé.
En tout cas merci pour ta réponse et surtout le cours de Dowek que je
ne connaissais pas et qui à l'air bien écrit (Je suis intrigué par le
pluriel qu'il met à "Théorie" dans le titre).
Amitiés,
----------------------------------------------------------------
This message was sent using IMP, the Internet Messaging Program.
Tom Hirschowitz
> Puisque j'y suis, je te donne la raison de ma question : je suis
> tombé sur une situation de quelque chose d'algébrique et en même
> temps de typé, alors comme la Logique comb. est un truc parfaitement
> algébrique et que le lambda calcul est typable, je voulais voir si
> il n'y a pas un concept général à mettre au point derrière tout ça.
Tu sais preciser derriere quoi exactement?
Tom
bur...@math.jussieu.fr
"répondre à la liste", le message m'est aussitôt retourné par le
"mailer-daemon" avec la mention "Une erreur est survenue lors de
l'envoi du message : sendmail: destinataire inconnu (67)". Je n'ai
chaque fois réussi à envoyer le message qu'en refaisant l'adresse
catsinfo moi-même. Bizarre ... C'est ce que je vais faire pour ce
message qui m'est retourné et que je copie intégralement ci-dessous]
oui,
mais comme je suis pas disponible dans l'instant (il me faut un =20
minimum de reflexion pour =EAtre clair), et que ta question est tout =E0 =20
fait personnelle, pour ne pas encombrer le site, je crois qu'il vaut =20
mieux que je te donne une r=E9ponse, =E9galement personnelle, ce soir.
A.
Tom Hirschowitz <tom.hir...@univ-savoie.fr> a =E9crit=A0:
> Re,
>
>> Puisque j'y suis, je te donne la raison de ma question : je suis =20
>> tomb=E9 sur une situation de quelque chose d'alg=E9brique et en m=EAme =
=20
>> temps de typ=E9, alors comme la Logique comb. est un truc =20
>> parfaitement alg=E9brique et que le lambda calcul est typable, je =20
>> voulais voir si il n'y a pas un concept g=E9n=E9ral =E0 mettre au point =
=20
>> derri=E8re tout =E7a.
>
>
> Tu sais preciser derriere quoi exactement?
>
> Tom
----------------------------------------------------------------