英語メイン画像

News & Information

  • More
  • RSS

Welcome!

We study programming language theories and their applications. The programming language theories are lambda calculus, concurrent calculus, and mathematical logic; an example of their applications is formal verification of software.