A short proof that adding some permutation rules to beta preserves SN

Pré-Publication, Document De Travail Année : 2009

(1)

René David

Laboratoire de Mathématiques

I show that, if a term is strongly normalizing (SN) for beta, it remains SN when some permutation rules are added.

Logique [math.LO]

Fichier principal

assoc.pdf (135.82 Ko)

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

https://hal.science/hal-00533565

Soumis le : dimanche 7 novembre 2010-17:51:04

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

Archivage à long terme le : mardi 8 février 2011-02:30:24

hal-00533565 , version 1 (07-11-2010)

René David. A short proof that adding some permutation rules to beta preserves SN. 2009. ⟨hal-00533565⟩

UNIV-SAVOIE UGA CNRS LAMA

76 Consultations

41 Téléchargements