C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems
Stéphane Lengrand
Roy Dyckhoff
James McKinna
Published in:
Log. Methods Comput. Sci. (2011)
Keyphrases
</>
sequent calculus
linear logic
inference rules
cut elimination
probabilistic model
theorem prover