Lectures on the Curry-Howard isomorphism. [elektronicky zdroj]
| Autor: | Sørensen, Morten Heine |
|---|---|
| Další autoři: | |
| Jazyk: | angličtina |
| Informace o vydání: | Amsterdam ; Boston [MA] : Elsevier, 2006. |
| Předmět: | |
| Vydání: | 1st ed. |
| Druh dokumentu: | Bibliographies; Electronic; Non-fiction; Electronic document |
| ISSN: | 0049-237X ; |
| Databáze: | Vybrané kolekce e-knih |
| Externí odkaz: |
|