scientific article; zbMATH DE number 2038767

zbMATH Open1039.03045MaRDI QIDQ4449232FDOQ4449232

Authors:

Publication date: 8 February 2004

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

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

sequent calculicut eliminationexpansion postponementpure type systems

Mathematics Subject Classification ID

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

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

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)