| SØRENSEN, Morten Heine B. and Pawel URZYCZYN. Lectures on the Curry-Howard isomorphism. 1st ed. Amsterdam: Elsevier, 2006, xiv, 442. ISBN 0444520775. |
|
Other formats:
BibTeX
LaTeX
RIS
|
| Basic information | |
|---|---|
| Original name | Lectures on the Curry-Howard isomorphism |
| Authors | SØRENSEN, Morten Heine B. and Pawel URZYCZYN. |
| Edition | 1st ed. Amsterdam, xiv, 442, 2006. |
| Publisher | Elsevier |
| Other information | |
|---|---|
| ISBN | 0444520775 |
| Changed by | The record has been imported from the library system. Changed: 8/8/2022 13:31. |
PrintDisplayed: 27/7/2024 18:46