Peter Burnhill’s book Type spaces , published in 2003, has been out of print for several years. The author died in 2007 and there is no question of revising the book – though one might write another one, extending its material and qualifying its ideas. As a service to readers, we are making the work available again as a free download here.
There is more about Peter Burnhill on this website here and here.