π-calculus

  agda   idris   coq

  eff   jocaml

  Type Theory     Proof Theory