• Termes inversibles en Lambda calcul
  mémoire de DEA
  Début et table des matières
  Introduction
  Chapitre 1
     survol du Lambda calcul
  Chapitre 2
     caractérisation des termes inversibles
  Chapitre 3
     termes inversibles à gauche et à droites
  Chapitre 4
     algorithme de reconnaissance des combinateurs inversibles
  Chapitre 5
     remarques et conclusion
  Annexe 1
     listing du programme
  Annexe 2
     session du programme
  Annexe 3
     (E,O) est une topologie non séparée
  Bibliographie
• Le nombre pi
  décimales et algorithmes
  
• Volume de l'hypersphère
  pourquoi les banquiers n'ont pas de lingots sphériques
  
• L'axiome du choix
  polémiques et paradoxes
  
• Fonctions continues sans dérivées
  les monstres qui effrayaient Charles Heremite
• Les géométries non euclidiennes
  D'Euclide à Poincaré, la saga des figures étranges
  
• 1+2+3+... = -1/12
  vu dans "Ciel et Espace" N0 238 page 32
  
• La logique formelle
  les formalismes des fondemants des mathématiques
  
• Mathématiques pour un anniversaire
  curieuses formules
  
• Mes bouquins de maths préférés
  de saines lectures pour les soirées d'hiver
  
• Liens et autres sites
  un petit tour chez les collègues
  

BIBLIOGRAPHIE

[1] - BARENDREGT The lambda calculus its syntax and semantics North Holland Publishing Company 1981.

[2] - HINDLEY, LERCHER and SELDIN Introduction to combinatory logic Cambridge University Press 1972.

[3] - CURRY Combinatory logic (volume 1) North Holland Publishing Company 1958.

[4] - CURRY Combinatory logic (volume 2) North Holland Publishing Company 1972.

[5] - B. ROBINET Petit précis de lambda calcul Institut de Programmation Universite Pierre et Marie Curie Paris.

[6] - M. DEZANI-CIANGAGLINI Characterization of normal forms possessing inverse in the lambda-beta-eta-calculus Theoretical Computer Science vol 2 1976 pp 97-114.

[7] - J. BERGSTRA and J.W. KLOPP Invertible terms in the lambda calculus Theoretical Computer Science vol 11 1980 pp 19-38.

[8] - I. MARGARIA and M. ZACCHI Rigth and left invertibility in the lambda calculus R.A.I.R.O. Informatique Théorique vol 17 no 1 1983 pp 71-88.

---

This document was translated from L^AT_EX by H^EV^EA.