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
