文学 莱姆答运算 释 λ-abstraction 莱姆答抽象 类型论中通过引入莱姆答算子（λ）使原本谓词类型为t的表达式抽象还原成符合谓词本身类型的表达式。
λ-abstraction λ抽象
理论计算机科学 程序理论 释文 λ-abstraction λ抽象
- Paule Marshal
- Paul-Emile Borduas
- Paul Evan Peters
- Paul Everac
- Paul Felix Lazarsfeld
- Paul Fort
- Paul Gauguin
- Paul Goldberger
- Paul Gottlieb Nipkow
- Paul Green
- Paul Greengard
- Paul-Henri Spaak
- Paul Henry Nitze
- Paul Hereford Oliver
- Paul Hermann Müller
- Paul Hervieu
- Paul Hopper
- Pauli
- Pauli algebra
- Pauli approximation
- Paulicians
- Pauli crater
- Pauli eigenspinor
- Pauli equation
- Pauli exclusion principle