James Chapman

Preoccupation

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. Monads need not be endofunctors (LMCS, final version pending)
  2. When is a container a comonad? (LMCS, 2014)
  3. Relative monads formalised (JFR, 2014)
  4. Normalization by evaluation in the delay monad (MSFP 2014)
  5. Proceedings of MSFP 2012 (EPTCS)
  6. When is a container a comonad? (FoSSaCS 2012)

Identification

Denotation
Dr. James Chapman
Occupation
Senior Researcher
Affiliation
Logic and Semantics Group
Institute of Cybernetics
Communication
james (at) cs ioc ee
Approximate Location
B407
Institute of Cybernetics
Akadeemia tee 21
EE-12618 TALLINN
Estonia