scientific article; zbMATH DE number 2038767

MaRDI QIDQ4449232zbMATH OpenFDO

Authors

Publication date 8 February 2004

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

zbMATH Keywords

sequent calculicut eliminationexpansion postponementpure type systems

Mathematics Subject Classification ID

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

Recommendations

• Expansion postponement for normalising pure type systems
• A focused sequent calculus framework for proof search in pure type systems
• Cut Elimination in a Class of Sequent Calculi for Pure Type Systems
• The expansion postponement in pure type systems
• A cut-free sequent calculus for pure type systems verifying the structural rules of Gentzen/Kleene

Cited in

(3)

• Expansion postponement for normalising pure type systems
• Cut Elimination in a Class of Sequent Calculi for Pure Type Systems
• A cut-free sequent calculus for pure type systems verifying the structural rules of Gentzen/Kleene

Describes a project that uses

Uses Software

• Automath

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4449232)