go top

strong normalisation 添加释义

网络释义

  lambda演算中

...ords: lambda calculus, explicit substitution, strong normalisation, garbage collection. [gap=300]关键词:lambda演算中,明确替代,强大的正常化,垃圾收集。

基于1个网页-相关网页

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定