Login / Signup
Types as Resources for Classical Natural Deduction.
Delia Kesner
Pierre Vial
Published in:
FSCD (2017)
Keyphrases
</>
natural deduction
limited resources
resource management
theorem proving
inference rules
cut elimination
intuitionistic logic