Title: A survey of graphical languages for monoidal categories Author: Peter Selinger URL: http://www.mscs.dal.ca/~selinger/papers.html Pages: 59 異常天才ぶりではルーリエが上だろうが、セリンガーも超優秀； 明晰で洗練されたスタイル、誠実で公…

式と推論 単純型付きラムダ 片側シーケントの古典論理が書いてある。ここだと、Gentzen-Shutte（ゲンツェン／シュッテ）になっている。ん？ ゲンツェン／テイトじゃなかった？ 田中さんの言うGentzen-Taitシステムと、A.S.T and H.SのGentzen-Shutteシステム…

ラムダ計算のセミナーをやるので、[セミナー]タグでネタを記録することにする。青いProof Theoryの本とは、A. S. Troelstra, H. Schwichtenberg "Basic Proof Theory Second Edition"、著者の読み方（カタカナ表記）はトゥロエルストラ、シュウイッテンブル…