James Chapman

Research Fellow

  1. Quotienting the delay monad by weak bisimilarity

    Research output: Research - peer-reviewArticle

  2. Formalizing restriction categories

    Research output: Research - peer-reviewArticle

View all »
  1. Agda Implementor's Meeting XXIII

    Activity: Participating in or organising an eventOrganiser of special symposia

  2. Scottish Programming Languages Seminar

    Activity: Participating in or organising an eventOrganiser of special symposia

  3. 1st Workshop on Type-Driven Development (TyDe ‘16) (Event)

    Activity: MembershipMembership of committee

View all »

View graph of relations