Rchr
J-GLOBAL ID:201101036042284220
Update date: Nov. 30, 2023
Imai Yoshihiro
Imai Yoshihiro
Contact this researcher
You can send email directly to the researcher.
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
TOP
BOTTOM