- University of Kent
- School of Computing
- People
- Ben Moon
You can find much of my work on GitHub.
I am a member of the following research groups:
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.
Loading publications...
Showing of total publications in the Kent Academic Repository. View all publications