Lectures on the Curry-Howard Isomorphism
Edición de la obra Lectures on the Curry-Howard isomorphism
| Autor | Morten Heine Sørensen, Pawel Urzyczyn |
|---|---|
| Editorial | Elsevier Science & Technology Books |
| Fecha de publicación | 2006 |
| Idioma | inglés |
| ISBN-13 | 9780080478920 |
| Número de Cutter | S999l |