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