2,554 followers
Open Access UCL Research: Concurrent NetKAT Modeling and analyzing stateful, concurrent networks https://t.co/vZP5snHfXz
Open Access UCL Research: Concurrent NetKAT Modeling and analyzing stateful, concurrent networks https://t.co/vZP5snHfXz
Open Access UCL Research: Concurrent NetKAT Modeling and analyzing stateful, concurrent networks https://t.co/BJinpUbHja
https://t.co/FRTN8qsT99 linear type と uniqueness type は共に comonoid だから似てるところもあるけど、それぞれ comonad と monad なので dual っぽいところもある。完全に理解した