Proofs and types / Jean-Yves Girard, Yves Lafont, Paul Taylor
| Autor principal: | Girard, Jean-Yves |
|---|---|
| Otros autores: | Taylor, Paul Lafont, Yves |
| Formato: | Libro |
| Edición: | [1st. ed., rep.] |
| Publicación: |
[Madrid] : Instituto de Estudios Financieros, 1990 |
| Descripción física: | XI, 176 p. ; 26 cm |
| Clasificación CDU: |
510.5 |
| Título abreviado: |
Cambridge tracts in theoretical computer science |
| Edición: |
[1st. ed., rep.] |
| Materias: | |
| ISBN: |
0521371813 |
Córdoba - Sala D
| Copia 60311 | Disponible |
|---|