lambda-abstraction λ抽象
理论计算机科学 程序理论 释文 λ-abstraction λ抽象
- choose
- choosing
- choosing of cultural relics
- choosing provenance
- Cho Oyu
- chopass
- chop frequency
- chopine
- Chopin,Fryderyk
- chopper
- chopper sugarcane harvester
- chopper trigger circuit
- chopper wheel method
- chopping
- chopping angle
- Chopping Boxing
- chopping primary mirror
- chopping secondary mirror
- chopping shutter
- chopping technique
- chopsticks dance
- chop wound
- Choquet
- Choquet boundary
- Choquet capacity