理学 类型理论 释 λ-calculus λ演算 一种由项和规约操作组成，用于表述可计算函数的数理逻辑形式系统。
lambda-calculus λ演算† λ-calculus λ演算†
理论计算机科学 可计算性与计算复杂性 释文 λ-calculus λ演算
- device for driving sample
- device for uncontrolled ascending car protection of lift
- device level design of MEMS
- device management
- device protection
- devices and instruments for stomatology
- device set condition
- devices for accelerating germinations
- devices for powder aerosols
- devices of first aid and treatment for heart
- devices to aid reverse manoeuvers-extended-range backing aid systems
- device testing of flue gas denitration
- device testing of flue gas desulfurization
- devide line
- Devil
- De Villedieu
- devil on two sticks
- Devils on the Doorstep
- devil's staircase
- devil staircase
- devil’s curve
- devil’s needle puzzle
- devil’s number
- devil’s pitchfork
- devil’s staircase