The Curry-Howard isomorphism
Edición de la obra The Curry-Howard isomorphism
| Autor | Philippe De Groote |
|---|---|
| Editorial | Academia |
| Lugar | Louvain-la-neuve |
| Idioma | inglés |
| ISBN-10 | 287209363X |
| LCCN | 99176546 |
| Serie | Cahiers du Centre de logique -- 8 |
| Número de Cutter | G876c |