# Type Systems Exercises

## Monday 6/24

- Find the term of the following λ→ types:
- (α → β) → (α → α → β)'
- ((α → β) → δ) → β → δ

- Compute the principle type of λ
*x*.λ*y.y x*(λ*z.x*)
- Type λ
*x.xxx* in λ2-Curry.
- Prove that all normal forms are typeable in λ2.
- Define Sum: List
_{Nat} → Nat that sums the elements of a list.