Typed Lambda Calculi and Applications
Second International Conference on Typed Lambda Calculi and Applications, Tlca '95, Edinburgh, United Kingdom, (Lecture Notes in Computer Science)
Edición de la obra Typed Lambda Calculi and Applications
| Autor | M. Dezani-Ciancaglini |
|---|---|
| Editorial | Springer |
| Fecha de publicación | January 1995 |
| Idioma | inglés |
| Páginas | 442 |
| ISBN-13 | 9780387590486 |
| ISBN-10 | 038759048X |
| Número de Cutter | D532t |