Lectures on the Curry-Howard isomorphism
Edición de la obra Lectures on the Curry-Howard isomorphism
| Autor | Morten Heine Sørensen |
|---|---|
| Editorial | Elsevier |
| Fecha de publicación | 2006 |
| Lugar | Boston, MA |
| Idioma | inglés |
| Páginas | 442 |
| ISBN-13 | 9780444520777 |
| ISBN-10 | 0444520775 |
| OCLC | 70158578, 62596713 |
| LCCN | 2006048390 |
| Serie | Studies in logic and the foundations of mathematics -- v. 149 |