![Proof theory / Lambda calculus / Logic in computer science / Deductive reasoning / Natural deduction / Combinatory logic Proof theory / Lambda calculus / Logic in computer science / Deductive reasoning / Natural deduction / Combinatory logic](https://www.pdfsearch.io/img/351839fa33bfa728ea6fedf55fe63c11.jpg) Date: 2011-01-12 07:22:28Proof theory Lambda calculus Logic in computer science Deductive reasoning Natural deduction Combinatory logic | | Type theory and proof assistants answers 1. λx : a → b → c. λy : b. λz : a. xzy (This term corresponds to the proofAdd to Reading ListSource URL: www.cs.ru.nlDownload Document from Source Website File Size: 42,69 KBShare Document on Facebook
|