Natural Deduction and Normalization Proofs for the Intersection Type Discipline.

Federico Aschieri

Published in: DCM/ITRS (2018)

Keyphrases

natural deduction
theorem prover
inference rules
cut elimination
sequent calculus
theorem proving
intuitionistic logic
linear time temporal logic
computer science
information systems
linear logic
preprocessing