scientific article; zbMATH DE number 2038767

zbMath1039.03045MaRDI QIDQ4449232

No author found.

Publication date: 8 February 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2719/27190956.htm

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

zbMATH Keywords

cut eliminationpure type systemssequent calculiexpansion postponement

Mathematics Subject Classification ID

Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05)

Related Items (1)

Cut Elimination in a Class of Sequent Calculi for Pure Type Systems

Uses Software

• Automath

This page was built for publication: