有有类型λ演算ОзвучитьВ словарьКопироватьЗначение и русский перевод有类型λ演算 — это китайское слово, которое переводится на русский язык как: типизированное лямбда-исчисление.Порядок написания черт (HanziWriter)Интерактивная пропись и проверка правильности начертанияАнимироватьПропись有类型演算Иероглифы по отдельности有类型λ演算