有类型λ演算
_
типизированное лямбда-исчисление
пословный:
有 | 类型 | λ | 演算 |
1) иметь(ся); иметь в наличии; обладать; есть
2) какой-то, некий; некоторый
|
1) тип; типичный, типовой, вид, категория, жанр, форма, стиль
2) серия (паспорта)
|
мат. исчисление, вычисление, действие; упражняться в решении математических задач; математические упражнения
|