Machine assisted normalization proofs for typed combinator calculi
- Författare
- Verónica Gaspes
- (Verónica Gaspes, Jan M. Smith.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Programming Methodology Group | 1994 | Sverige, Göteborg | 21 sidor. |
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Programming Methodology Group | 1994 | Sverige, Göteborg | 21 sidor. |