![](https://www.pdfsearch.io/img/00718e1aea9a19fc9c0535eb9b1d6f75.jpg) Date: 2011-09-02 08:06:23
| | logical verificationexercises 1 prop1 and simply typed λ-calculus Exercise 1. a. Show that (B → (A → B) → C) → B → C is a tautology. b. Give the type derivation in simply typed λ-calculus corresponAdd to Reading ListSource URL: www.cs.ru.nlDownload Document from Source Website File Size: 56,91 KBShare Document on Facebook
|