lambda calculus における reduction って簡約だったよね(一瞬「縮約」と書きそうになってしまった)
縮約ってどこの言葉だ……？
縮約 reduction - Google 検索
https://www.google.co.jp/search?q=%E7%B8%AE%E7%B4%84+reduction
縮約の英訳｜英辞郎 on the WEB：アルク
https://eow.alc.co.jp/search?q=%E7%B8%AE%E7%B4%84
www.google.co.jp縮約 reduction - Google 検索
論理学での contraction が縮約か