STLC
名词 n.
英文释义
名词 n.
- Initialism of simply-typed lambda calculus.
词形变化
11 次浏览
数据来源: Wiktionary