Zde můžete vidět rozdíly mezi vybranou verzí a aktuální verzí dané stránky.
fp:poznamky [2012/11/06 06:41] petr |
fp:poznamky [2012/11/06 06:46] (aktuální) petr [Other recommended reading] |
||
---|---|---|---|
Řádek 14: | Řádek 14: | ||
==== Other recommended reading ==== | ==== Other recommended reading ==== | ||
* [[http://www.dcc.fc.up.pt/~nam/aulas/0405/tia/lectures-on-the-curry.pdf|Lectures on the Curry-Howard Isomorphism]]. M.H. Sørensen, and P. Urzyczyn. Elsevier, 2006. | * [[http://www.dcc.fc.up.pt/~nam/aulas/0405/tia/lectures-on-the-curry.pdf|Lectures on the Curry-Howard Isomorphism]]. M.H. Sørensen, and P. Urzyczyn. Elsevier, 2006. | ||
- | * **Type theory and lambda calculus** | + | * **Type theory and lambda calculus, System F** |
* [[http://www.paultaylor.eu/stable/Proofs+Types.html|Proofs and Types]]. Girard J-Y, Lafont Y, and Taylor P. Cambridge Press, 1989. | * [[http://www.paultaylor.eu/stable/Proofs+Types.html|Proofs and Types]]. Girard J-Y, Lafont Y, and Taylor P. Cambridge Press, 1989. | ||
* **Data structures** | * **Data structures** |