λ \lambda λ-演算最早是由Church(1941)在(The Calculi of Lambda-Conversion. Princeton University)中提出来的,但却是Montague(1970)才使得它在自然语言 ...
確定! 回上一頁