Logical Relationという名前
sumiiさんの記事によれば,どうも私は [お勉強]とタグをつけたのをいいことにデマを振りまいていたようなので訂正しました.
型付きλ計算の型でcharacterizeしてるから論理的,というのなら,正直 Curry-Howard同型による,という説明でもそれほど間違ってない気はするんですが,どうなんでしょう….知らない事だらけで,わからんです.
sumiiさんの記事によれば,どうも私は [お勉強]とタグをつけたのをいいことにデマを振りまいていたようなので訂正しました.
型付きλ計算の型でcharacterizeしてるから論理的,というのなら,正直 Curry-Howard同型による,という説明でもそれほど間違ってない気はするんですが,どうなんでしょう….知らない事だらけで,わからんです.