James Chapman

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.

Recent Publications

  1. Quotienting the Delay Monad by Weak Bisimilarity (LNCS, 2015)
  2. Monads need not be endofunctors (LMCS, 2015)
  3. When is a container a comonad? (LMCS, 2014)
  4. Relative monads formalised (JFR, 2014)
  5. Normalization by evaluation in the delay monad (MSFP, 2014)

Identification

Name
Dr. James Chapman
Job
Research Associate
Affiliation
Mathematically Structured Programming Group
Computer & Information Sciences
University of Strathclyde
Contact
james.chapman (at) strath.ac.uk