Peter G. Hancock



This webpage leads to various things I have written, that I wanted to collect together. The end of this page has recent things. There is also a mausoleum of more elderly things, currently in a random state. Some links might eventually work.

The main topic is type theory and programming, but there might be something about music.