scientific article; zbMATH DE number 1342291

zbMath0934.03074MaRDI QIDQ4263882

No author found.

Publication date: 6 April 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

cut-eliminationstrong normalizationsymmetric reducibility candidates

Mathematics Subject Classification ID

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

Related Items (3)

Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage ⋮ Proof theory in the abstract ⋮ Strong Normalisation of Cut-Elimination That Simulates β-Reduction

This page was built for publication: