Proving Strong Normalisation via Non-deterministic Translations into Klop's Extended lambda-Calculus.

DOI10.4230/LIPICS.CSL.2013.395zbMath1356.03059OpenAlexW2285424334MaRDI QIDQ2958535

Kentaro Kikuchi

Publication date: 2 February 2017

Full work available at URL: https://doi.org/10.4230/lipics.csl.2013.395

zbMATH Keywords

cut eliminationstrong normalisationexplicit substitutionKlop's extended lambda calculus

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Combinatory logic and lambda calculus (03B40)

This page was built for publication: Proving Strong Normalisation via Non-deterministic Translations into Klop's Extended lambda-Calculus.