高级检索
个人中心
切换机构账号
切换个人账号
退出
登录
注册
专业板块
专题板块
大众板块
切换机构账号
切换个人账号
高级检索
个人中心
退出
高级检索
登录
注册
目录
首页
[{"ID":42422,"Name":"理学"},{"ID":81272,"Name":"计算机科学技术"},{"ID":81639,"Name":"计算机科学理论"},{"ID":81659,"Name":"程序设计理论"},{"ID":81661,"Name":"类型理论"}]
λ演算
/λ-calculus/
最后更新
2024-12-03
浏览
234
次
最后更新
2024-12-03
浏览
234
次
分享到...
QQ好友
微信
QQ空间
新浪微博
微信
QQ空间
新浪微博
X
分享到
- 微信
0
意见反馈
一键引用
文献引用
复制
一种由项和规约操作组成，用于表述可计算函数的数理逻辑形式系统。
英文名称
λ-calculus
所属学科
计算机科学技术
精选发现
相关条目
阅读历史
类型理论
纸书购买
意见反馈
提 交
感谢您的反馈
我们会尽快处理您的反馈！
谢谢！
×
试用结束，开通会员即可查阅全文
对不起，您所在机构没有获得相应使用权限。若需获得更多服务，请与您所在机构的负责部门或本网站客服联系。
京公网安备 11010202008139号
