Rchr
J-GLOBAL ID:201101036042284220   Update date: Nov. 30, 2023

Imai Yoshihiro

Imai Yoshihiro
Research field  (1): Basic mathematics
Research keywords  (3): lambda calculus ,  Proof Assistant ,  coq
Works (1):
  • ワクワク数学トーク
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page