A focused sequent calculus framework for proof-search in pure type systems

Stéphane Lengrand, Roy Dyckhoff, James Mckinna

Research output: Contribution to journalArticlepeer-review

5 Citations (Scopus)

Fingerprint Dive into the research topics of 'A focused sequent calculus framework for proof-search in pure type systems'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science