A mechanisation of name-carrying syntax up to Alpha-conversion
- Författare
- Andrew D. Gordon
- (Andrew D. Gordon.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Programming Methodology Group | 1994 | Sverige, Göteborg | 14 sidor. |
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Programming Methodology Group | 1994 | Sverige, Göteborg | 14 sidor. |