談話会

MLLの proof net の集合上に、error-correcting コードでよく使われるやり方を応用して距離を定義する。今回はアイディアのみ。T氏曰く「Linear Logicへの愛を感じる講演」でした。