Proofs and types / Jean-Yves Girard, Yves Lafont, Paul Taylor
| Main Author: | Girard, Jean-Yves |
|---|---|
| Other Authors: | Taylor, Paul Lafont, Yves |
| Format: | Book |
| Edition: | [1st. ed., rep.] |
| Publication: |
[Madrid] : Instituto de Estudios Financieros, 1990 |
| Physical Description: | XI, 176 p. ; 26 cm |
| Clasificación CDU: |
510.5 |
| Título abreviado: |
Cambridge tracts in theoretical computer science |
| Edición: |
[1st. ed., rep.] |
| Subjects: | |
| ISBN: |
0521371813 |
Córdoba - Sala D
| Copy 60311 | Available |
|---|