DMCA

A short proof of the Strong Normalization of Classical Natural Deduction with Disjunction (2003)

by René David , Karim Nour
Venue:Journal of symbolic Logic
Citations:26 - 16 self