型付きラムダ計算

【かたつきらむだけいさん】

中文：有类型λ演算

中日対訳辞書はプログラムで機械的に意味や表現を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。

扫二维码关注日语微信公众号：
① 收听查询单词的发音
② 收听日语每日一句
③ 日语汉字转假名
④ 和30万小伙伴一起学日语
⑤ 语音翻译
⑥ 图片翻译