Interests

I am interested in Martin Löf’s type theory, dependent types, intuitionistic mathematics in general, category theory, and functional programming. I am particularly interested in the semantics of type theory in type theory, and the mathematical structures arising in programming languages and logics.

Identification

Name
Dr. James Chapman
Contact
mail (at) jmchapman (dot) io