The Curry-Howard isomorphism
Edición de la obra The Curry-Howard isomorphism
| Autor | Philippe De Groote |
|---|---|
| Editorial | Academia |
| Fecha de publicación | 1995 |
| Lugar | Louvain-la-Neuve |
| Idioma | inglés |
| Páginas | 364 |
| ISBN-10 | 287209363X |
| OCLC | 32900083 |
| LCCN | 99176546 |
| Serie | Cahiers du Centre de logique ; · 8 |
| Número de Cutter | G876c |