jingenbl

Réponses

• Grand merci. Avec $\sigma$ ça va mieux...
  
  Je vais relire tout cela à tête reposée et avec l'avancement de mes lectures....
  
  Bonne année 2012

  dans Lambda-calcul et point fixe Commentaire de jingenbl January 2021
• Encore merci pour le conseil: pas de table rase.... (à propos, le but du typage est-il la gestion saine du domaine et du codomaine ?)
  
  Pour le reste, je reste désespérément au raz des pâquerettes...
  
  On pose $\forall f,x: \phi(…

  dans Lambda-calcul et point fixe Commentaire de jingenbl January 2021
• Merci pour la réponse... Mais je ne parviens pas à raccrocher les wagons...
  
  Je traduis ton $Y \equiv \lambda f.pf(pf)$ (mais p??? est-ce une variable? un $\lambda$-terme quelconque?) ($\equiv$ pour synonime)
  Je traduis $pf \equiv …

  dans Lambda-calcul et point fixe Commentaire de jingenbl January 2021
• Merci pour cette réponse.
  En effet, je ne retrouve pas dans le message la syntaxe habituelle...
  
  Si j'ai bien compris l'énoncé (copie jointe) on donne $x,a,b,c$ des variables et $Z$ un terme du $\lambda$-calcul (donc variable ou abs…

  dans Lambda-calcul et point fixe Commentaire de jingenbl January 2021
• Merci pour cette réponse ultra-rapide!
  
  Je suppose en effet que abc apparaissent dans Z. Je suppose que Z(f) veut dire cela...
  
  Je ne comprends pas bien... admettons que j'ai p tel que p=Zp (Z appliqué à p) et que j'ai f tel qu…

  dans Lambda-calcul et point fixe Commentaire de jingenbl January 2021