Login / Signup

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

Delia KesnerPierre Vial
Published in: Log. Methods Comput. Sci. (2020)
Keyphrases
  • natural deduction
  • theorem prover
  • machine learning
  • inference rules
  • cut elimination
  • intuitionistic logic