Ben Moon

You can find much of my work on GitHub.

I am a member of the following research groups:

• Programming Languages and Systems Group

My primary interests are in the realm of building and restricting type-theoretic foundations. Other research interests include the interplay between type theory and category theory, substructural logics, dependent type theories, and modal logic.