twitterで「ラムダ計算が分かっているとはどういうことか、言語学者はほぼ分かっていない」という発言を（気軽に）したら、「もう一歩踏み込んで書いて欲しい」というご要望を頂きました。僕自身、型理論の専門家と議論をしていると勉強不足を感じることが多…