Every unsolvable lambda-terme has a decoration

Communication Dans Un Congrès Année : 1999

(1)

René David

Laboratoire de Mathématiques

I give a proof of the conjecture stated by R.Kerth : Every unsolvable lambda term has a decoration.

Logique [math.LO] Logique en informatique [cs.LO]

Fichier principal

deco.pdf (988.49 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

https://hal.science/hal-00384694

Soumis le : vendredi 15 mai 2009-16:19:50

Dernière modification le : jeudi 4 avril 2024-21:41:21

Archivage à long terme le : jeudi 10 juin 2010-21:27:02

hal-00384694 , version 1 (15-05-2009)

René David. Every unsolvable lambda-terme has a decoration. TLCA'99, May 1999, L'aquila, France. pp.98-113. ⟨hal-00384694⟩

UNIV-SAVOIE UGA CNRS LAMA

92 Consultations

51 Téléchargements