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: 30/9/2024 18:39