Type theory and the integrated logic of programs
- Författare
- Henrik Persson
- (Henrik Persson.)
- Genre
- theses
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Institutionen för matematik och datavetenskap, Univ. | 1999 | Sverige, Göteborg, Göteborg | [8], 18 sidor. 25 cm |