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”是什么缩写的意思?
本站收集到的STLC英文缩写还有:
【商业】领域:
- Southern Tradition Landscaping Company 缩写成 “STLC”. 中文意思是:南方传统园林公司
【学术科学】领域:
- Soluble Threshold Limit Concentration 缩写成 “STLC”. 中文意思是:可溶性阈限浓度
【计算机】领域:
- Software Testing Life Cycle 缩写成 “STLC”. 中文意思是:软件测试生命周期