檜山正幸のキマイラ飼育記 - 閉圏、弱いラムダ計算、弱い論理

 圏論もラムダ計算もPure Type Systemsも昔やったのに直観主義をはじいてたからこの論文は知らなかった。私はPTSを参考にR/W制限付関数型言語を作りたい。PTSにおける前提にシンボルが含まれるなら書込とみなすみたいなの。