ノート:型付きラムダ計算

• 型付きのラムダ式はただの構文で、domとかcodomに集合論的な意味を最初に与えるのはおかしいと思います。型名も変数名もただの記号としてあるべきではないですか？元の記事が読みにくいのは確かですが。 --Kik（会話） 2013年12月21日 (土) 12:14 (UTC)