scientific article; zbMATH DE number 1231701

MaRDI QIDQ4223032zbMATH OpenFDO

Authors Luís Pinto, Roy Dyckhoff

Publication date 10 January 1999

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=17#17008

zbMATH Keywords

sequent calculi

Mathematics Subject Classification ID

Recommendations

• scientific article; zbMATH DE number 65536
• A Sequent Calculus for Type Theory
• A note on the proof theory of the -calculus

Cited in

(6)

• Proof-search in type-theoretic languages: An introduction
• A note on the proof theory of the -calculus
• A focused sequent calculus framework for proof search in pure type systems
• A Sequent Calculus for Type Theory
• scientific article; zbMATH DE number 65536 (Why is no real title available?)
• Sequent calculus and equational programming

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 Q4223032)