Report copyright - Fitch-Style Modal Lambda CalculiThe Curry-Howard propositions-as-types isomorphism [21,39,41]rovidesacor-respondence between natural deduction and typed lambda calculus of interest
Please pass captcha verification before submit form