Report - Proof Theory and Type Theory - ANU College of Engineering ...users.cecs.anu.edu.au/~linda/Lambda.pdf · Curry-Howard Isomorphism • There is a correspondence betweeen • Proofs

Please pass captcha verification before submit form