pi8027/typeinfer — Issue #60: 表記の不統一 「ラムダ計算」
Author: mandel59
Created: 2011-12-22 16:59:12+00:00
State: open

サブセクション 単純型付きλ計算 に「型付きラムダ計算」とあります。他の部分では「型付きλ計算」。