呼び値λ計算の安定性プロパティ - テイラー展開を通して

呼び値λ計算の文脈は近似の交差と可換であるための必要条件を示す重要な非自明な結果を証明した。