Home

Welcome to my blog. I use this blog to write about things that interest me. If you are interested in topics like type theory, sound synthesis or denotational semantics, I'm sure you find something interesting here.

Posts