Rchr
J-GLOBAL ID:201101036042284220   Update date: Apr. 04, 2018

Imai Yoshihiro

イマイヨシヒロ | Imai Yoshihiro
Affiliation and department:
Other affiliations (5):
  • ProofCafe
  • ocaml-nagoya
  • 名古屋Scala
  • 名古屋大学  客員准教授
  • coqtokyo
Homepage URL  (1): http://proofcafe.org/~yoshihiro503/
Research keywords  (3): lambda calculus ,  Proof Assistant ,  coq
Professional career (1):
  • 修士(数理科学) (名古屋大学)
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page