## Theorie der Programmierung (SoSe2014)

### Changelog

**ÜB. 1**
- Rev. 5909:
*First version.*

**ÜB. 2**
- Rev. 5956:
*First version.*
- Rev. 6200:
*Übung 2.2, fixed a typo in Î´-reduction of *`flip`

.
- Rev. 6231:
*Übung 13.1, made explicit here that we refer to the “untyped Î»-calculus”.*
- Rev. 6251:
*Übung 9, The “Generation Lemma” is to be found as “Inversion Lemma” in the lectures.*
- Rev. 6262:
*Übung 12, The “Monotony Lemma” is to be found as “Weakening Lemma” in the lectures.*
- Rev. 6319:
*Minor clarifications in Übung 11 and 12.*
- Rev. 6354:
*Übung 10, a bogus reference to a Î£ was removed. Also, we made explicit the convention used for type-constants.*

**ÜB. 3**
- Rev. 6445:
*First version.*
- Rev. 6471:
*Added a remark on the notation regarding convertibility of terms.*
- Rev. 6493:
*Typo fixed in the definition of function *`mirror`

(Exercise 6).
- Rev. 6504:
*Exercise 4.3: added one more property.*
*Exercise 6: removed unused *`mapBinTree`

definition.
*Exercise 6.1: removed an extra *`mirror`

from the property.

- Rev. 6588:
*Hand-in date moved.*
- Rev. 6603:
*Made requirement to prove properties of *`det`

in Exercise 11.2. explicit.
- Rev. 6637:
*Exercise 10: fixed the numbering of the subitems.*
*Exercise 10.3 c) and d) (current numbering): shows the correct property to be proven!*

```
* Rev. 6703: //First version.//
```

```
* Rev. 6731: //First version.//
```