Non-idempotent types for classical calculi in natural deduction style.

Delia Kesner Pierre Vial

Published in: CoRR (2018)

Keyphrases

natural deduction
theorem prover
inference rules
cut elimination
sequent calculi
sufficient conditions