Lambda-Calculus, Types and Models
Edición de la obra Lambda-Calculus, Types and Models
| Autor | J. L. Krivine |
|---|---|
| Editorial | Ellis Horwood Ltd |
| Fecha de publicación | August 1993 |
| Idioma | inglés |
| Páginas | 192 |
| Formato | Hardcover |
| ISBN-13 | 9780130624079 |
| ISBN-10 | 0130624071 |
| Número de Cutter | K92l |