Lectures on the Curry-Howard isomorphism.
Tallennettuna:
| Päätekijät: | , |
|---|---|
| Aineistotyyppi: | Kirja |
| Kieli: | englanti |
| Julkaistu: |
Amsterdam, The Netherlands; Boston, USA:
Elsevier,
2006.
|
| Painos: | First edition. |
| Sarja: | Studies in logic and the foundations of mathematics,
vol. 149 |
| Aiheet: | |
| Tagit: |
Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!
|
Lisää ensimmäinen kommentti!