◍wovepaper
SearchResearchersInstitutions
Sign in
cs.LONov 5, 2010
5
citations (OpenAlex)
authors
  • Rene David
institutions
  • Laboratoire d’Analyse et de Mathématiques Appliquées
  • Université Savoie Mont Blanc
arXiv abstractPDF
paper

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

arXiv:1011.1335 · doi:10.1016/j.tcs.2010.10.048

Abstract

I show that, if a term is SN for β, it remains SN when some permutation rules are added.

Theoretical Computer Science, 2010

Cited by in corpus (1)

  • Preservation of Strong Normalisation modulo permutations for the structural lambda-calculus
◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.