types
最近,古典論理に対応する計算体系について勉強してます。古典論理だと Peirce's law と call/cc が対応するとかいう話がわりと有名で,基本的にはコントロールオペレータを含む体系になります。それで,そこにさらに様相が入った場合にはどんなことになるの…
最近,古典論理に対応する計算体系について勉強してます。古典論理だと Peirce's law と call/cc が対応するとかいう話がわりと有名で,基本的にはコントロールオペレータを含む体系になります。それで,そこにさらに様相が入った場合にはどんなことになるの…