Tatsuya Abe, Ph.D. stair_logo

Contact Information

Name in Japanese:
name
Office:
STAIR Lab, Chiba Institute of Technology, 275-0016, Japan.
E-mail:
The unique normal form of (λX.abe.XaXsuya@iX-chiba.ac.jp)t
Photos:
abe's photo at SC12
SC12 (Salt Lake City)
abe's photo at SPIN18
SPIN18 (Málaga)
abe's photo at STAIR
at STAIR in 2023

Research Interests

Referred Papers

Awards, Educations, Projects, and Services [researchmap]

Manuscripts

  1. Split of Classical Logic [pdf]

Softwares (that I contributed to)