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 |