Proofs and types
- Författare
- Jean-Yves Girard
- (Jean-Yves Girard, Paul Taylor, Yves Lafont.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Cambridge Univ. Press | 1989 | Storbritannien, Cambridge | xi, 176 sidor. |
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Cambridge Univ. Press | 1989 | Storbritannien, Cambridge | xi, 176 sidor. |