scientific article; zbMATH DE number 1868900

zbMath1006.03013MaRDI QIDQ4794047

Silvia Ghilezan

Publication date: 16 February 2003

Full work available at URL: https://eudml.org/doc/233202

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

zbMATH Keywords

cut eliminationnormalizationnatural deductionsimply typed lambda calculussequent systems

Mathematics Subject Classification ID

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

Related Items (1)

Strong cut-elimination in sequent calculus using Klop's ι-translation and perpetual reductions

This page was built for publication: