Toto je starší verze dokumentu!

1) Nadefinujte funkci forEach, stylem jako ve 12. přednášce

2) Dk. zachování typů:

t : T a zároveň t ⇒ t' =⇒ t' : T

3) Dk. terminace jazyka ze (2)

4) přepis do denotační sémantiky

5) Dokaž na základě vlastností Progress a Soundness, že je (zadané) pravidlo podtypovosti rekurzivního typu špatně definované.