Report - Curry-Howard isomorphism for sequent calculus at lastcs.ioc.ee/logic-rakvere/espiritosanto-slides.pdf · Introduction Sequent calculus Natural deduction Results Goal In the same sense

Please pass captcha verification before submit form