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, to appear)
  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)

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