C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A Sequent Calculus for Type Theory.
Stéphane Lengrand
Roy Dyckhoff
James McKinna
Published in:
CSL (2006)
Keyphrases
</>
sequent calculus
linear logic
inference rules
cut elimination
high dimensional
general purpose
qualitative and quantitative
classical logic