<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2011-01-12 07:22:28Proof theory Lambda calculus Logic in computer science Deductive reasoning Natural deduction Combinatory logic |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2011-01-12 07:22:28Proof theory Lambda calculus Logic in computer science Deductive reasoning Natural deduction Combinatory logic |
Add to Reading List |
Type theory and proof assistants answers 1. λx : a → b → c. λy : b. λz : a. xzy (This term corresponds to the proof
