STLC：简单型lambda微积分

“Simply-Typed Lambda-Calculus”在学术和数学领域常被缩写为STLC，以方便书写和日常使用。这一术语的中文译名为“简单类型lambda演算”，是一种形式化系统，广泛应用于计算机科学和数理逻辑的研究中，用于描述类型化的函数抽象与应用。

Simply-Typed Lambda-Calculus具体释义

  • 英文缩写：STLC
  • 英语全称：Simply-Typed Lambda-Calculus
  • 中文意思：简单型lambda微积分
  • 中文拼音：jiǎn dān xíng wēi jī fēn
  • 相关领域： stlc 数学

Simply-Typed Lambda-Calculus的英文发音

本站英语缩略词为个人收集整理，可供非商业用途的复制、使用及分享，但严禁任何形式的采集或批量盗用

若STLC词条信息存在错误、不当之处或涉及侵权，请及时联系我们处理：675289112@qq.com。