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

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